Searching for "Model Checking as Constraint Solving." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Model Checking as Constraint Solving
- …Model Checking as Constraint Solving Andreas Podelski Max-Planck-Institut fur Informatik Im…
- Cited by 11 (0 self) – Add To MetaCart
-
Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving
- …Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving…
- Add To MetaCart
-
Model-Checking for Hybrid Systems By Quotienting and Constraints Solving
- …-388. Springer, 2000. Model-checking for hybrid systems by quotienting and constraints solving Franck Cassez 1…
- Cited by 6 (0 self) – Add To MetaCart
-
Set-based Analysis of Reactive Infinite-state Systems
- … checking and constraint solving, viz. theorem proving. We show that set-based analysis can be used…
- Cited by 26 (8 self) – Add To MetaCart
-
M.: Validating objected-oriented prototype of real-time systems with timed automata
- … diagram using model checking and constraints solving technique. With tool support, FORTS conceals…
- Cited by 2 (0 self) – Add To MetaCart
-
Experience
- … — including shared models and frameworks for testing and model checking and strategies based on constraint-solving…
- Add To MetaCart
-
Model-Checking and Program Analysis: Preliminaries
- …. Springer LNCS 1694, pp. 330-354. [18] A. Podelski, J. Palsberg. Model-checking as Constraint Solving…
- Add To MetaCart
-
Model Based Testing with Constraint Logic Programming: First Results and Challenges
- …. Model Checking vs. Constraint Solving. We consider testing and model checking different approaches…
- Cited by 8 (2 self) – Add To MetaCart
-
Counter-example generation in symbolic abstract model-checking
- … counter-examples, depends primarily on the model-checking and constraint solving algorithms. In practice…
- Cited by 4 (0 self) – Add To MetaCart
-
Does it pay off? model-based verification and validation of embedded systems
- … of automated reasoning: theorem proving, model checking, constraint solving, etc.. There has been sustained…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
