Sciweavers

5255 search results - page 22 / 1051

» Formal Methods for Privacy

23

FMICS
2010
Springer

144views Formal Methods» more FMICS 2010»

Formal Analysis of BPMN Models Using Event-B

13 years 8 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 »

21

SAS
2009
Springer

137views Formal Methods» more SAS 2009»

Invariant Checking for Programs with Procedure Calls

14 years 8 months ago

Invariant Checking for Programs with Procedure Calls

Download www.csl.sri.com

Guillem Godoy, Ashish Tiwari

claim paper

Read More »

23

TFM
2009
Springer

181views Formal Methods» more TFM 2009»

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

14 years 2 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 »

19

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

14 years 2 months ago

Teaching Program Specification and Verification Using JML and ESC/Java2

Download www.di.uminho.pt

Erik Poll

claim paper

Read More »

22

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Safety first: A two-stage algorithm for LTL games

14 years 2 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 22 / 1051 Last » Next »