Search Sciweavers | Sciweavers

1895 search results - page 27 / 379

» Using ATL for Checking Models

128

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 11 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

127

click to vote

SPIN
2004
Springer

97views Theoretical Computer Science» more SPIN 2004»

Model Checking Genetic Regulatory Networks Using GNA and CADP

15 years 11 months ago

Download ibis.inrialpes.fr

Grégory Batt, Damien Bergamini, Hidde de Jo...

claim paper

Read More »

168

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

15 years 11 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

139

click to vote

FM
2003
Springer

115views Formal Methods» more FM 2003»

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

15 years 11 months ago

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Pierre Ganty

claim paper

Read More »

138

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers