Search Sciweavers | Sciweavers

2514 search results - page 4 / 503

» The use of industrial-strength formal methods

221

click to vote

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

16 years 17 days ago

Download fmv.jku.at

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

claim paper

Read More »

155

click to vote

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

15 years 10 months ago

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

146

click to vote

FMICS
2010
Springer

144views Formal Methods» more FMICS 2010»

Formal Analysis of BPMN Models Using Event-B

15 years 7 months ago

Download deploy-eprints.ecs.soton.ac.uk

Jeremy W. Bryans, Wei Wei

claim paper

Read More »

160

click to vote

TFM
2009
Springer

181views Formal Methods» more TFM 2009»

Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z

16 years 18 days ago

Download www.di.uminho.pt

Sureyya Tarkan, Vibha Sazawal

claim paper

Read More »

156

click to vote

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers