Sciweavers

4036 search results - page 4 / 808

» Formal Methods

12

FMICS
2010
Springer

144views Formal Methods» more FMICS 2010»

Formal Analysis of BPMN Models Using Event-B

13 years 5 months ago

Formal Analysis of BPMN Models Using Event-B

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

Jeremy W. Bryans, Wei Wei

claim paper

Read More »

13

SAS
2009
Springer

137views Formal Methods» more SAS 2009»

Invariant Checking for Programs with Procedure Calls

14 years 5 months ago

Invariant Checking for Programs with Procedure Calls

Download www.csl.sri.com

Guillem Godoy, Ashish Tiwari

claim paper

Read More »

14

TFM
2009
Springer

181views Formal Methods» more TFM 2009»

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

13 years 11 months ago

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

Download www.di.uminho.pt

Sureyya Tarkan, Vibha Sazawal

claim paper

Read More »

12

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

13 years 11 months ago

Teaching Program Specification and Verification Using JML and ESC/Java2

Download www.di.uminho.pt

Erik Poll

claim paper

Read More »

12

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

13 years 11 months ago

Safety first: A two-stage algorithm for LTL games

Download fmv.jku.at

Saqib Sohail, Fabio Somenzi

claim paper

Read More »

« Prev « First page 4 / 808 Last » Next »