Sciweavers

2872 search results - page 165 / 575

» On (Omega-)Regular Model Checking

97

Voted

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 8 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

107

Voted

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 8 months ago

Model Checking via Reachability Testing for Timed Automata

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

110

Voted

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 8 months ago

Model Checking of Real-Time Reachability Properties Using Abstractions

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

130

Voted

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 7 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

97

Voted

CAV
1997
Springer

111views Hardware» more CAV 1997»

RuleBase: Model Checking at IBM

15 years 7 months ago

RuleBase: Model Checking at IBM

Download www.cs.uwaterloo.ca

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel ...

claim paper

Read More »

« Prev « First page 165 / 575 Last » Next »