Search Sciweavers | Sciweavers

2514 search results - page 4 / 503

» The use of industrial-strength formal methods

138

click to vote

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

15 years 6 months ago

Download fmv.jku.at

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

claim paper

Read More »

click to vote

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

15 years 3 months ago

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

Voted

FMICS
2010
Springer

144views Formal Methods» more FMICS 2010»

Formal Analysis of BPMN Models Using Event-B

15 years 23 days ago

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

Jeremy W. Bryans, Wei Wei

claim paper

Read More »

Voted

TFM
2009
Springer

181views Formal Methods» more TFM 2009»

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

15 years 6 months ago

Download www.di.uminho.pt

Sureyya Tarkan, Vibha Sazawal

claim paper

Read More »

click to vote

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers