696 search results - page 33 / 140 » Explaining abstract counterexamples |
114
Voted
ACSD
2010
IEEE
15 years 20 days 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. ...
152
Voted
RECOMB
2006
Springer
16 years 2 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...
109
Voted
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...
117
Voted
FMCO
2003
Springer
15 years 7 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...
110
Voted
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...