Searching for "Model Checking Concurrent Programs." – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Bounded model checking of concurrent programs
- …Bounded Model Checking of Concurrent Programs Ishai Rabinovitz 1,2 and Orna Grumberg 1 1 Technion…
- Cited by 7 (2 self) – Add To MetaCart
-
The complexity of model checking concurrent programs against CTLK specifications
- …The Complexity of Model Checking Concurrent Programs against CTLK Specifications ABSTRACT…
- Cited by 2 (0 self) – Add To MetaCart
-
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
- …Symbolic Model Checking of Concurrent Programs using Partial Orders and On-the-fly Transactions…
- Cited by 1 (1 self) – Add To MetaCart
-
Thesis: Interfacing Compilers, Proof Checkers, and Proofs for
- … and type systems, model checking, concurrent programming and verification, program analysis…
- Add To MetaCart
-
CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools
- … race-flipping technique to efficiently test and model check concurrent programs with data inputs. 1…
- Cited by 15 (0 self) – Add To MetaCart
-
An Application of Abstraction and Induction Techniques to Degenerating Systems of Processes
- …,muffy@(email omitted); Abstract--- The major problem with model checking concurrent programs is the inability to prove…
- Cited by 1 (0 self) – Add To MetaCart
-
Advanced Querying for Property Checking ⋆
- …. We study property checking of programs where the program model is an EWPDS and the property…
- Cited by 1 (1 self) – Add To MetaCart
-
Application of design for verification with concurrency controllers to air traffic control software
- …, Formal methods General Terms: Design, Verification Keywords: model checking, concurrent programming…
- Cited by 5 (4 self) – Add To MetaCart
-
Generalized Symbolic Execution for Model Checking and Testing
- … automates test case generation, allows model checking concurrent programs that take inputs from unbounded…
- Cited by 88 (25 self) – Add To MetaCart
-
On the Complexity of Verifying Concurrent Transition Systems
- … of the graphs modeling the underlying processes. Accordingly, the model-checking problem for concurrent programs…
- Cited by 18 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
