Search Sciweavers | Sciweavers

12981 search results - page 210 / 2597

» Model Checking (Abstract)

217

click to vote

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

16 years 3 months ago

Download www.irit.fr

Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...

claim paper

Read More »

Voted

CADE
2007
Springer

154views Logical Reasoning» more CADE 2007»

The Bedwyr System for Model Checking over Syntactic Expressions

16 years 3 months ago

Download users.rsise.anu.edu.au

David Baelde, Andrew Gacek, Dale Miller, Gopalan N...

claim paper

Read More »

Voted

ICCAD
2006
IEEE

111views Hardware» more ICCAD 2006»

Accelerating high-level bounded model checking

16 years 2 days ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

103

Voted

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

Voted

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers