Volume 201,
March 2008
Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007)
- Eerke A. Boiten, John Derrick, Graeme Smith:
Preface.
1
Electronic Edition (link) BibTeX
- Richard Banach, Gerhard Schellhorn:
On the Refinement of Atomic Actions.
3-30
Electronic Edition (link) BibTeX
- Eerke A. Boiten, Dan Grundy:
Reduction and Refinement.
31-44
Electronic Edition (link) BibTeX
- Neil Evans, Neil Grant:
Towards the Formal Verification of a Java Processor in Event-B.
45-67
Electronic Edition (link) BibTeX
- Lindsay Groves:
Trace-based Derivation of a Lock-Free Queue Algorithm.
69-98
Electronic Edition (link) BibTeX
- Arjan J. Mooij:
Constructing and Reasoning About Security Protocols Using Invariants.
99-126
Electronic Edition (link) BibTeX
- Kazuhiro Ogata, Kokichi Futatsugi:
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method.
127-154
Electronic Edition (link) BibTeX
- John Derrick, Graeme Smith:
Using Model Checking to Automatically Find Retrieve Relations.
155-175
Electronic Edition (link) BibTeX
- Larissa Meinicke, Kim Solin:
Refinement Algebra for Probabilistic Programs.
177-195
Electronic Edition (link) BibTeX
- Peter Höfner, Georg Struth:
Can Refinement be Automated?
197-222
Electronic Edition (link) BibTeX
- Johanna Tuominen, Tomi Westerlund, Juha Plosila:
Power Aware System Refinement.
223-253
Electronic Edition (link) BibTeX
- Heike Wehrheim:
Refinement in the Presence of Unknowns.
255-264
Electronic Edition (link) BibTeX
Copyright © Wed Aug 20 20:20:13 2008
by Michael Ley (ley@uni-trier.de)
