2407 search results - page 31 / 482 » A Tool for Abstraction in Model Checking |
ICEIS
2006
IEEE
15 years 3 months ago
2006
IEEE
82
Voted
ACSD
2004
IEEE
15 years 1 months ago
2004
IEEE
69
Voted
ECMDAFA
2010
Springer
14 years 10 months ago
2010
Springer
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...