61 search results - page 8 / 13 » Language-Based Abstraction Refinement for Hybrid System Veri... |
GLVLSI
2007
IEEE
14 years 1 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
JLP
2008
13 years 9 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...