Search Sciweavers | Sciweavers

10870 search results - page 262 / 2174

» Model Checking Programs

click to vote

FMCAD
1998
Springer

89views Formal Methods» more FMCAD 1998»

A Performance Study of BDD-Based Model Checking

15 years 6 months ago

Download www.cs.cmu.edu

Bwolen Yang, Randal E. Bryant, David R. O'Hallaron...

claim paper

Read More »

click to vote

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 6 months ago

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

136

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 6 months ago

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »

126

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 6 months ago

Download users.dimi.uniud.it

Iliano Cervesato, Massimo Franceschet, Angelo Mont...

claim paper

Read More »

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers