Search Sciweavers | Sciweavers

1018 search results - page 10 / 204

» Abstraction and Refinement in Model Checking

135

click to vote

DAC
2004
ACM

168views Computer Architecture» more DAC 2004»

Refining the SAT decision ordering for bounded model checking

16 years 4 months ago

Download vlsi.colorado.edu

Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...

Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio So...

claim paper

Read More »

109

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 8 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

157

Voted

ICSE
1999
IEEE-ACM

129views Software Engineering» more ICSE 1999»

A Practical Method for Verifying Event-Driven Software

15 years 7 months ago

Download spinroot.com

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 ...

Gerard J. Holzmann, Margaret H. Smith

claim paper

Read More »

102

click to vote

EDOC
2005
IEEE

110views Distributed And Parallel Com...» more EDOC 2005»

Abstract Interactions and Interaction Refinement in Model-Driven Design

15 years 9 months ago