Search Sciweavers | Sciweavers

12981 search results - page 9 / 2597

» Model Checking (Abstract)

163

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 11 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

152

Voted

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 11 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

187

Voted

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 9 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

165

Voted

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 9 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

157

click to vote

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers