Search Sciweavers | Sciweavers

928 search results - page 16 / 186

» Interpolation-sequence based model checking

click to vote

TACAS
2007
Springer

99views Algorithms» more TACAS 2007»

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

15 years 4 months ago

Download mtc.epfl.ch

Laurent Doyen, Jean-François Raskin

claim paper

Read More »

click to vote

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

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

15 years 4 months ago

Download www.informatik.uni-freiburg.de

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

claim paper

Read More »

click to vote

DATE
2000
IEEE

76views Hardware» more DATE 2000»

Iterative Abstraction-Based CTL Model Checking

15 years 2 months ago

Download www.date-conference.com

Jae-Young Jang, In-Ho Moon, Gary D. Hachtel

claim paper

Read More »

click to vote

CAV
1997
Springer

111views Hardware» more CAV 1997»

RuleBase: Model Checking at IBM

15 years 2 months ago

Download www.cs.uwaterloo.ca

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel ...

claim paper

Read More »

click to vote

SOMET
2007

99views Software Engineering» more SOMET 2007»

Model Checking Communicative Agent-Based Systems

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers