Sciweavers

1219 search results - page 31 / 244

» Verification of Equivalent-Results Methods

21

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

14 years 3 months ago

Certifiable Specification and Verification of C Programs

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »

23

CAV
2007
Springer

116views Hardware» more CAV 2007»

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

14 years 2 months ago

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

Download cav2007.org

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

claim paper

Read More »

22

CAV
2007
Springer

129views Hardware» more CAV 2007»

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

14 years 2 months ago

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

Download www.lri.fr

Jean-Christophe Filliâtre, Claude March&eacu...

claim paper

Read More »

32

CAV
2005
Springer

99views Hardware» more CAV 2005»

Probabilistic Verification for "Black-Box" Systems

14 years 2 months ago

Probabilistic Verification for "Black-Box" Systems

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

22

CAV
2004
Springer

111views Hardware» more CAV 2004»

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

14 years 2 months ago

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

Download chicory.stanford.edu

Jacob Chang, Sergey Berezin, David L. Dill

claim paper

Read More »

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