Sciweavers

5255 search results - page 148 / 1051

» Formal Methods for Privacy

121

CAV
2003
Springer

97views Hardware» more CAV 2003»

Iterating Transducers in the Large (Extended Abstract)

15 years 8 months ago

Iterating Transducers in the Large (Extended Abstract)

Download www.montefiore.ulg.ac.be

Bernard Boigelot, Axel Legay, Pierre Wolper

claim paper

Read More »

91

CAV
2003
Springer

140views Hardware» more CAV 2003»

TLQSolver: A Temporal Logic Query Checker

15 years 8 months ago

TLQSolver: A Temporal Logic Query Checker

Download www.cs.toronto.edu

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

112

Voted

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

15 years 8 months ago

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

Download www.cs.sunysb.edu

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

claim paper

Read More »

114

CAV
2003
Springer

125views Hardware» more CAV 2003»

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement

15 years 8 months ago

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

117

Voted

FM
2003
Springer

115views Formal Methods» more FM 2003»

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

15 years 8 months ago

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis

Download www.ai-lab.it

Alessandro Armando, Luca Compagna, Pierre Ganty

claim paper

Read More »

« Prev « First page 148 / 1051 Last » Next »