Search Sciweavers | Sciweavers

4341 search results - page 180 / 869

» Quantitative Model checking

click to vote

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 11 months ago

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

click to vote

DAC
2005
ACM

126views Computer Architecture» more DAC 2005»

Minimising buffer requirements of synchronous dataflow graphs with model checking

14 years 11 months ago

Download www.ics.ele.tue.nl

Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...

Marc Geilen, Twan Basten, Sander Stuijk

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

Download www.irit.fr

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

claim paper

Read More »

click to vote

CP
2009
Springer

142views Artificial Intelligence» more CP 2009»

From Model-Checking to Temporal Logic Constraint Solving

14 years 11 months ago

Download pauillac.inria.fr

Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...

Aurélien Rizk, François Fages

claim paper

Read More »

click to vote

CADE
2007
Springer

154views Logical Reasoning» more CADE 2007»

The Bedwyr System for Model Checking over Syntactic Expressions

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers