Search Sciweavers | Sciweavers

1996 search results - page 19 / 400

» A decision procedure for linear

187

click to vote

TIME
2007
IEEE

113views Automated Reasoning» more TIME 2007»

A Symbolic Decision Procedure for Robust Safety of Timed Systems

16 years 1 months ago

Download se.informatik.uni-oldenburg.de

We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. inﬁnitesimal clock-drif...

Mani Swaminathan, Martin Fränzle

claim paper

Read More »

141

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

16 years 28 days ago

Download www.lix.polytechnique.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

149

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

16 years 9 days ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

154

click to vote

CAV
2005
Springer

100views Hardware» more CAV 2005»

Yet Another Decision Procedure for Equality Logic

16 years 9 days ago

Download www.cs.cmu.edu

Orly Meir, Ofer Strichman

claim paper

Read More »

145

Voted

FSTTCS
2005
Springer

108views Software Engineering» more FSTTCS 2005»

Decision Procedures for Queues with Integer Constraints

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers