Search Sciweavers | Sciweavers

12981 search results - page 210 / 2597

» Model Checking (Abstract)

271

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

Download www.irit.fr

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

claim paper

Read More »

138

click to vote

CADE
2007
Springer

154views Logical Reasoning» more CADE 2007»

The Bedwyr System for Model Checking over Syntactic Expressions

16 years 6 months ago

Download users.rsise.anu.edu.au

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

claim paper

Read More »

118

click to vote

ICCAD
2006
IEEE

111views Hardware» more ICCAD 2006»

Accelerating high-level bounded model checking

16 years 3 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

148

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

148

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers