Search Sciweavers | Sciweavers

846 search results - page 15 / 170

» Rewrite-Based Decision Procedures

135

click to vote

TIME
2007
IEEE

113views Automated Reasoning» more TIME 2007»

A Symbolic Decision Procedure for Robust Safety of Timed Systems

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

102

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

15 years 9 months ago

Download www.lix.polytechnique.fr

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

claim paper

Read More »

106

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

15 years 9 months ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

111

click to vote

CAV
2005
Springer

100views Hardware» more CAV 2005»

Yet Another Decision Procedure for Equality Logic

15 years 9 months ago

Download www.cs.cmu.edu

Orly Meir, Ofer Strichman

claim paper

Read More »

111

click to vote

FSTTCS
2005
Springer

108views Software Engineering» more FSTTCS 2005»

Decision Procedures for Queues with Integer Constraints

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers