696 search results - page 33 / 140 » Explaining abstract counterexamples |
137
click to vote
ACSD
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
182
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Mapping intra-cellular signaling networks is a critical step in developing an understanding of and treatments for many devastating diseases. The predominant ways of disco...
137
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
138
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
133
click to vote
PST
2004
15 years 6 months ago
2004
All information systems can be represented by a conceptual and abstracted systems diagram. Therefore all attacks against information systems can also be ted. By studying the securi...