Search Sciweavers | Sciweavers

1018 search results - page 10 / 204

» Abstraction and Refinement in Model Checking

click to vote

DAC
2004
ACM

168views Computer Architecture» more DAC 2004»

Refining the SAT decision ordering for bounded model checking

14 years 8 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

14 years 24 days ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

ICSE
1999
IEEE-ACM

129views Software Engineering» more ICSE 1999»

A Practical Method for Verifying Event-Driven Software

13 years 11 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 »

click to vote

EDOC
2005
IEEE

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

Abstract Interactions and Interaction Refinement in Model-Driven Design

14 years 1 months ago