Search Sciweavers | Sciweavers

4962 search results - page 245 / 993

» Stochastic Model Checking

150

Voted

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

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 »

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 6 months ago

Download www.cadence.com

Rajeev Alur, Kenneth L. McMillan, Doron Peled

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 6 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

117

click to vote

ICLP
1997
Springer

133views Automated Reasoning» more ICLP 1997»

The Complexity of Model Checking in Modal Event Calculi

15 years 6 months ago

Download users.dimi.uniud.it

Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

click to vote

DAC
1996
ACM

108views Computer Architecture» more DAC 1996»

Word Level Model Checking - Avoiding the Pentium FDIV Error

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers