2407 search results - page 166 / 482 » A Tool for Abstraction in Model Checking |
145
click to vote
HPCC
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
165
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
160
click to vote
ENTCS
2007
15 years 7 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
181
click to vote
FORMATS
2004
Springer
16 years 12 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
171
click to vote
IUI
2003
ACM
16 years 7 days ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...