Search Sciweavers | Sciweavers

1018 search results - page 10 / 204

» Abstraction and Refinement in Model Checking

113

Voted

DAC
2004
ACM

168views Computer Architecture» more DAC 2004»

Refining the SAT decision ordering for bounded model checking

16 years 1 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 »

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 5 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

119

click to vote

ICSE
1999
IEEE-ACM

129views Software Engineering» more ICSE 1999»

A Practical Method for Verifying Event-Driven Software

15 years 4 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 »

Voted

EDOC
2005
IEEE

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

Abstract Interactions and Interaction Refinement in Model-Driven Design

15 years 6 months ago