Sciweavers

9067 search results - page 173 / 1814

» Adaptive Model Checking

157

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 10 months ago

Model Checking for Programming Languages using Verisoft

Download www.eecs.umich.edu

Patrice Godefroid

claim paper

Read More »

117

CAV
1997
Springer

111views Hardware» more CAV 1997»

RuleBase: Model Checking at IBM

15 years 10 months ago

RuleBase: Model Checking at IBM

Download www.cs.uwaterloo.ca

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

claim paper

Read More »

122

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

15 years 10 months ago

Model Checking and Transitive-Closure Logic

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

196

CONCUR
1997
Springer

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

Reachability Analysis of Pushdown Automata: Application to Model-Checking

15 years 10 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 »

131

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 10 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 173 / 1814 Last » Next »