Search Sciweavers | Sciweavers

10870 search results - page 262 / 2174

» Model Checking Programs

128

click to vote

FMCAD
1998
Springer

89views Formal Methods» more FMCAD 1998»

A Performance Study of BDD-Based Model Checking

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

135

click to vote

FSTTCS
1998
Springer

112views Software Engineering» more FSTTCS 1998»

Descriptive Complexity and Model Checking

15 years 10 months ago

Download www.cs.umass.edu

Neil Immerman

claim paper

Read More »

181

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

Download www-verimag.imag.fr

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

claim paper

Read More »

174

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 »

143

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers