Search Sciweavers | Sciweavers

1895 search results - page 26 / 379

» Using ATL for Checking Models

click to vote

CAV
2010
Springer

158views Hardware» more CAV 2010»

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

13 years 11 months ago

Download www.dia.unisa.it

Abstract. We consider the veriﬁcation of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...

Salvatore La Torre, P. Madhusudan, Gennaro Parlato

claim paper

Read More »

click to vote

DAC
1999
ACM

128views Computer Architecture» more DAC 1999»

Symbolic Model Checking Using SAT Procedures instead of BDDs

14 years 8 months ago

Download reports-archive.adm.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

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

14 years 8 months ago

Download www.irit.fr

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

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

14 years 2 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

click to vote

DATE
2008
IEEE

133views Hardware» more DATE 2008»

Model Checking of Analog Systems using an Analog Specification Language

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers