Sciweavers

1823 search results - page 3 / 365

» Formal specification: a roadmap

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 »

19

ISOLA
2007
Springer

120views Formal Methods» more ISOLA 2007»

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

14 years 1 months ago

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

Download www.stups.uni-duesseldorf.de

Michael Leuschel, Daniel Plagge

claim paper

Read More »

28

FM
2008
Springer

157views Formal Methods» more FM 2008»

Checking Well-Formedness of Pure-Method Specifications

13 years 9 months ago

Checking Well-Formedness of Pure-Method Specifications

Download people.inf.ethz.ch

Arsenii Rudich, Ádám Darvas, Peter M...

claim paper

Read More »

17

FM
2008
Springer

107views Formal Methods» more FM 2008»

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

13 years 9 months ago

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

Download se.ethz.ch

Carlo A. Furia, Matteo Pradella, Matteo Rossi

claim paper

Read More »

21

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

13 years 12 months ago

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

« Prev « First page 3 / 365 Last » Next »