Search Sciweavers | Sciweavers

4341 search results - page 181 / 869

» Quantitative Model checking

click to vote

VMCAI
2010
Springer

158views Software Engineering» more VMCAI 2010»

Model-Checking In-Lined Reference Monitors

14 years 8 months ago

Download www.utdallas.edu

Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...

Meera Sridhar, Kevin W. Hamlen

claim paper

Read More »

click to vote

ICCAD
2006
IEEE

111views Hardware» more ICCAD 2006»

Accelerating high-level bounded model checking

14 years 7 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

14 years 5 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

14 years 5 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

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers