Search Sciweavers | Sciweavers

2873 search results - page 169 / 575

» Model Checking and the Mu-calculus

151

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 »

123

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

Download www.cs.cmu.edu

Edmund M. Clarke, Manpreet Khaira, Xudong Zhao

claim paper

Read More »

135

click to vote

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

15 years 10 months ago

Download cc.ee.ntu.edu.tw

Jin Yang, Aloysius K. Mok, Farn Wang

claim paper

Read More »

122

click to vote

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 10 months ago

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

123

click to vote

LFCS
1994
Springer

123views Artificial Intelligence» more LFCS 1994»

On Model Checking Infinite-State Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers