Search Sciweavers | Sciweavers

12981 search results - page 9 / 2597

» Model Checking and Abstraction

108

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 7 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 7 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

124

Voted

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 5 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

106

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 5 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

103

Voted

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers