Sciweavers

2875 search results - page 174 / 575

» Model checking agentspeak

108

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 7 months ago

Model Checking of Real-Time Reachability Properties Using Abstractions

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

126

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 »

94

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 »

99

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

15 years 7 months ago

Model Checking and Transitive-Closure Logic

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

158

Voted

CONCUR
1997
Springer

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

Reachability Analysis of Pushdown Automata: Application to Model-Checking

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

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