Sciweavers

2488 search results - page 13 / 498

» An improvement in formal verification

35

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

14 years 4 months ago

Verification of recursive methods on tree-like data structures

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

29

FMCAD
2009
Springer

160views Formal Methods» more FMCAD 2009»

Connecting pre-silicon and post-silicon verification

14 years 4 months ago

Connecting pre-silicon and post-silicon verification

Download userweb.cs.utexas.edu

Sandip Ray, Warren A. Hunt Jr.

claim paper

Read More »

18

FM
1999
Springer

122views Formal Methods» more FM 1999»

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

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

43

FTRTFT
2000
Springer

144views Formal Methods» more FTRTFT 2000»

Challenges in the Verification of Electronic Control Units

14 years 1 months ago

Challenges in the Verification of Electronic Control Units

Download www.ida.liu.se

Werner Damm

claim paper

Read More »

24

FM
2008
Springer

107views Formal Methods» more FM 2008»

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

13 years 11 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 13 / 498 Last » Next »