Search Sciweavers | Sciweavers

2872 search results - page 139 / 575

» On (Omega-)Regular Model Checking

105

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 10 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

100

Voted

TACAS
2009
Springer

102views Algorithms» more TACAS 2009»

Memoised Garbage Collection for Software Model Checking

15 years 10 months ago

Download wwwhome.cs.utwente.nl

Viet Yen Nguyen, Theo C. Ruys

claim paper

Read More »

103

click to vote

DATE
2009
IEEE

101views Hardware» more DATE 2009»

Speeding up model checking by exploiting explicit and hidden verification constraints

15 years 10 months ago

Download www.date-conference.com

Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marc...

claim paper

Read More »

109

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

15 years 10 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

click to vote

IPPS
2009
IEEE

109views Distributed And Parallel Com...» more IPPS 2009»

Efficient large-scale model checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers