Search Sciweavers | Sciweavers

4502 search results - page 166 / 901

» Regular Model Checking

116

click to vote

VMCAI
2010
Springer

158views Software Engineering» more VMCAI 2010»

Model-Checking In-Lined Reference Monitors

16 years 2 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

16 years 1 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

120

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

15 years 11 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

121

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

111

click to vote

TACAS
2009
Springer

102views Algorithms» more TACAS 2009»

Memoised Garbage Collection for Software Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers