1541 search results - page 42 / 309 » Tools and Techniques for Model Checking Networked Programs |
112
click to vote
FM
2006
Springer
15 years 4 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
106
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
101
Voted
ISCA
2008
IEEE
15 years 7 months ago
2008
IEEE
Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for quickly detecting bugs and...
125
Voted
WLP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...