Search Sciweavers | Sciweavers

950 search results - page 30 / 190

» Software model checking with SPIN

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

14 years 1 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

14 years 1 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

13 years 11 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

13 years 11 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers