696 search results - page 33 / 140 » Explaining abstract counterexamples |
119
Voted
ACSD
2010
IEEE
15 years 1 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. ...
159
click to vote
RECOMB
2006
Springer
16 years 3 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...
116
click to vote
LPAR
2005
Springer
15 years 8 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...
120
click to vote
FMCO
2003
Springer
15 years 8 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...
114
click to vote
PST
2004
15 years 4 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...