Search Sciweavers | Sciweavers

5015 search results - page 165 / 1003

» Model Checking a Path

139

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

16 years 13 days ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

129

click to vote

TACAS
2007
Springer

99views Algorithms» more TACAS 2007»

Improved Algorithms for the Automata-Based Approach to Model-Checking

16 years 13 days ago

Download mtc.epfl.ch

Laurent Doyen, Jean-François Raskin

claim paper

Read More »

143

click to vote

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

16 years 13 days ago

Download www.informatik.uni-freiburg.de

Sebastian Kupferschmid, Klaus Dräger, Jö...

claim paper

Read More »

147

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

16 years 12 days ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

172

click to vote

CCECE
2006
IEEE

202views Electrical And Computer Engi...» more CCECE 2006»

A New Model Checking Approach for Verifying Agent Communication Protocols

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers