Search Sciweavers | Sciweavers

846 search results - page 15 / 170

» Rewrite-Based Decision Procedures

156

click to vote

TIME
2007
IEEE

113views Automated Reasoning» more TIME 2007»

A Symbolic Decision Procedure for Robust Safety of Timed Systems

15 years 11 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 »

116

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

15 years 11 months ago

Download www.lix.polytechnique.fr

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

claim paper

Read More »

123

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

15 years 10 months ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

126

click to vote

CAV
2005
Springer

100views Hardware» more CAV 2005»

Yet Another Decision Procedure for Equality Logic

15 years 10 months ago

Download www.cs.cmu.edu

Orly Meir, Ofer Strichman

claim paper

Read More »

125

click to vote

FSTTCS
2005
Springer

108views Software Engineering» more FSTTCS 2005»

Decision Procedures for Queues with Integer Constraints

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers