Sciweavers

8828 search results - page 155 / 1766

» Formal methods in practice

153

CAV
2003
Springer

124views Hardware» more CAV 2003»

Evidence Explorer: A Tool for Exploring Model-Checking Proofs

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

144

CAV
2003
Springer

125views Hardware» more CAV 2003»

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

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

146

FM
2003
Springer

115views Formal Methods» more FM 2003»

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

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

144

IFL
2003
Springer

85views Formal Methods» more IFL 2003»

Lazy Assertions

15 years 11 months ago

Lazy Assertions

Download www.cs.kent.ac.uk

Olaf Chitil, Dan McNeill, Colin Runciman

claim paper

Read More »

122

FMCAD
2009
Springer

87views Formal Methods» more FMCAD 2009»

Hardware/software co-verification of cryptographic algorithms using Cryptol

15 years 11 months ago

Hardware/software co-verification of cryptographic algorithms using Cryptol

Download fmv.jku.at

Levent Erkök, Magnus Carlsson, Adam Wick

claim paper

Read More »

« Prev « First page 155 / 1766 Last » Next »