Search Sciweavers | Sciweavers

1996 search results - page 21 / 400

» A decision procedure for linear

click to vote

LICS
2003
IEEE

82views Automated Reasoning» more LICS 2003»

An NP Decision Procedure for Protocol Insecurity with XOR

15 years 3 months ago

Download people.inf.ethz.ch

We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a ﬁnite number of sessions) extended with so-call...

Yannick Chevalier, Ralf Küsters, Michaël...

claim paper

Read More »

Voted

TPHOL
2003
IEEE

88views Automated Reasoning» more TPHOL 2003»

Complete Integer Decision Procedures as Derived Rules in HOL

15 years 3 months ago

Download nicta.com.au

Michael Norrish

claim paper

Read More »

click to vote

ASIAN
2003
Springer

102views Algorithms» more ASIAN 2003»

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report

15 years 3 months ago

Download faculty.ist.unomaha.edu

Deepak Kapur, Mahadevan Subramaniam

claim paper

Read More »

click to vote

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

15 years 2 months ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

click to vote

CADE
1997
Springer

143views Logical Reasoning» more CADE 1997»

A Practical Integration of First-Order Reasoning and Decision Procedures

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers