Sciweavers

1219 search results - page 20 / 244

» Verification of Equivalent-Results Methods

24

FMCAD
2009
Springer

160views Formal Methods» more FMCAD 2009»

Connecting pre-silicon and post-silicon verification

14 years 2 months ago

Connecting pre-silicon and post-silicon verification

Download userweb.cs.utexas.edu

Sandip Ray, Warren A. Hunt Jr.

claim paper

Read More »

32

FMCAD
2009
Springer

151views Formal Methods» more FMCAD 2009»

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

14 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 »

16

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

13 years 11 months ago

Towards a Compositional Approach to the Design and Verification of Distributed Systems

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

38

FTRTFT
2000
Springer

144views Formal Methods» more FTRTFT 2000»

Challenges in the Verification of Electronic Control Units

13 years 11 months ago

Challenges in the Verification of Electronic Control Units

Download www.ida.liu.se

Werner Damm

claim paper

Read More »

17

FM
2008
Springer

107views Formal Methods» more FM 2008»

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

13 years 9 months ago

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

Download se.ethz.ch

Carlo A. Furia, Matteo Pradella, Matteo Rossi

claim paper

Read More »

« Prev « First page 20 / 244 Last » Next »