783 search results - page 98 / 157 » Compositional Reasoning in Model Checking |
110
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
128
click to vote
IANDC
2008
15 years 2 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
149
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
144
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
110
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...