Search Sciweavers | Sciweavers

2873 search results - page 167 / 575

» Model Checking and the Mu-calculus

166

click to vote

KR
1998
Springer

133views Automated Reasoning» more KR 1998»

The Complexity of Model Checking in Modal Event Calculi with Quantifiers

15 years 10 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

122

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 10 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

137

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 10 months ago

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

136

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 10 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

154

click to vote

POPL
1997
ACM

141views Programming Languages» more POPL 1997»

Model Checking for Programming Languages using Verisoft

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers