Sciweavers

10870 search results - page 263 / 2174

» Model Checking Programs

102

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 6 months ago

Model Checking of Real-Time Reachability Properties Using Abstractions

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

87

Voted

CAV
1997
Springer

111views Hardware» more CAV 1997»

RuleBase: Model Checking at IBM

15 years 6 months ago

RuleBase: Model Checking at IBM

Download www.cs.uwaterloo.ca

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

claim paper

Read More »

91

Voted

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

15 years 6 months ago

Model Checking and Transitive-Closure Logic

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

147

CONCUR
1997
Springer

235views Distributed And Parallel Com...» more CONCUR 1997»

Reachability Analysis of Pushdown Automata: Application to Model-Checking

15 years 6 months ago

Reachability Analysis of Pushdown Automata: Application to Model-Checking

Download dept-info.labri.fr

We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...

Ahmed Bouajjani, Javier Esparza, Oded Maler

claim paper

Read More »

93

Voted

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 6 months ago

Model-Checking of Correctness Conditions for Concurrent Objects

Download www.cadence.com

Rajeev Alur, Kenneth L. McMillan, Doron Peled

claim paper

Read More »

« Prev « First page 263 / 2174 Last » Next »