Sciweavers

8828 search results - page 28 / 1766

» Formal methods in practice

265

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

16 years 2 months ago

Debugging formal specifications using simple counterstrategies

Download fmv.jku.at

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

claim paper

Read More »

194

Voted

FMCAD
2009
Springer

151views Formal Methods» more FMCAD 2009»

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

16 years 2 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 »

161

FCA
2005
Springer

123views Formal Methods» more FCA 2005»

Linguistic Applications of Formal Concept Analysis

16 years 1 months ago

Linguistic Applications of Formal Concept Analysis

Download www.upriss.org.uk

Uta Priss

claim paper

Read More »

190

Voted

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

15 years 11 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

154

Voted

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

15 years 11 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 28 / 1766 Last » Next »