3224 search results - page 332 / 645 » On Checking Model Checkers |
171
Voted
AAAI
2004
15 years 8 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
195
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
151
click to vote
GLVLSI
2005
IEEE
16 years 9 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
162
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
172
Voted
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...