1715 search results - page 10 / 343 » Domain-Specific Program Checking |
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
111
click to vote
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
131
click to vote
FORTE
2009
14 years 9 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
72
Voted
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
114
click to vote
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...