Sciweavers

4340 search results - page 11 / 868

» Formal Methods and Cryptography

178

Voted

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

15 years 10 months ago

Debugging formal specifications using simple counterstrategies

Download fmv.jku.at

Robert Könighofer, Georg Hofferek, Roderick B...

claim paper

Read More »

133

FMCAD
2009
Springer

151views Formal Methods» more FMCAD 2009»

Formal verification of correctness and performance of random priority-based arbiters

15 years 10 months ago

Formal verification of correctness and performance of random priority-based arbiters

Download fmv.jku.at

Krishnan Kailas, Viresh Paruthi, Brian Monwai

claim paper

Read More »

101

FCA
2005
Springer

123views Formal Methods» more FCA 2005»

Linguistic Applications of Formal Concept Analysis

15 years 9 months ago

Linguistic Applications of Formal Concept Analysis

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

125

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

15 years 7 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

107

Voted

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

15 years 7 months ago

Preliminary Evaluation of a Formal Approach to User Interface Specification

Download www.cs.virginia.edu

John C. Knight, Susan S. Brilliant

claim paper

Read More »

« Prev « First page 11 / 868 Last » Next »