Search Sciweavers | Sciweavers

2896 search results - page 168 / 580

» Curricula Modeling and Checking

203

click to vote

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

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 »

135

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 10 months ago

Download www.cadence.com

Rajeev Alur, Kenneth L. McMillan, Doron Peled

claim paper

Read More »

134

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

159

click to vote

ICLP
1997
Springer

133views Automated Reasoning» more ICLP 1997»

The Complexity of Model Checking in Modal Event Calculi

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

133

click to vote

DAC
1996
ACM

108views Computer Architecture» more DAC 1996»

Word Level Model Checking - Avoiding the Pentium FDIV Error

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers