Search Sciweavers | Sciweavers

2872 search results - page 139 / 575

» On (Omega-)Regular Model Checking

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 6 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

click to vote

TACAS
2009
Springer

102views Algorithms» more TACAS 2009»

Memoised Garbage Collection for Software Model Checking

15 years 6 months ago

Download wwwhome.cs.utwente.nl

Viet Yen Nguyen, Theo C. Ruys

claim paper

Read More »

Voted

DATE
2009
IEEE

101views Hardware» more DATE 2009»

Speeding up model checking by exploiting explicit and hidden verification constraints

15 years 5 months ago

Download www.date-conference.com

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

claim paper

Read More »

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 5 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 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers