2291 search results - page 27 / 459 » Logic Programming and Model Checking |
132
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
90
Voted
SAS
1994
Springer
15 years 5 months ago
1994
Springer
CORR
2007
Springer
15 years 2 months ago
2007
Springer
129
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
148
Voted
SIGSOFT
2007
ACM
16 years 2 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...