Sciweavers

8828 search results - page 30 / 1766

» Formal methods in practice

126

Voted

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

15 years 10 months ago

Teaching Program Specification and Verification Using JML and ESC/Java2

Download www.di.uminho.pt

Erik Poll

claim paper

Read More »

98

Voted

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

15 years 10 months ago

Safety first: A two-stage algorithm for LTL games

Download fmv.jku.at

Saqib Sohail, Fabio Somenzi

claim paper

Read More »

92

Voted

FMCAD
2009
Springer

142views Formal Methods» more FMCAD 2009»

Interpolation-sequence based model checking

15 years 10 months ago

Interpolation-sequence based model checking

Download www.cs.technion.ac.il

Yakir Vizel, Orna Grumberg

claim paper

Read More »

116

FMCAD
2009
Springer

160views Formal Methods» more FMCAD 2009»

Connecting pre-silicon and post-silicon verification

15 years 10 months ago

Connecting pre-silicon and post-silicon verification

Download userweb.cs.utexas.edu

Sandip Ray, Warren A. Hunt Jr.

claim paper

Read More »

102

FMICS
2009
Springer

151views Formal Methods» more FMICS 2009»

Visualising Event-B Models with B-Motion Studio

15 years 10 months ago

Visualising Event-B Models with B-Motion Studio

Download www.stups.uni-duesseldorf.de

Lukas Ladenberger, Jens Bendisposto, Michael Leusc...

claim paper

Read More »

« Prev « First page 30 / 1766 Last » Next »