Search Sciweavers | Sciweavers

12981 search results - page 9 / 2597

» Model Checking and Abstraction

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 »

120

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

155

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 7 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

133

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 7 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

133

click to vote

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers