3. SEFM 2005:
Koblenz,
Germany
Bernhard K. Aichernig, Bernhard Beckert (Eds.):
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany.
IEEE Computer Society 2005, ISBN 0-7695-2435-4 BibTeX
Cover
Introduction
Keynote Talk 1
Testing
Real-Time Systems
Keynote Talk 2
Static Analysis
Requirements and Specification
Keynote Talk 3
Program Verification
- Thomas Wilson, Savi Maharaj, Robert G. Clark:
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.
150-159
Electronic Edition (link) BibTeX
- Kerry Trentelman:
Proving Correctness of JavaCard DL Taclets using Bali.
160-169
Electronic Edition (link) BibTeX
- Holger Grandy, Kurt Stenzel, Wolfgang Reif:
Object Oriented Verification Kernels for Secure Java Applications.
170-179
Electronic Edition (link) BibTeX
- Ola Olsson, Angela Wallenburg:
Customised Induction Rules for Proving Correctness of Imperative Programs.
180-189
Electronic Edition (link) BibTeX
- Thierry Hubert, Claude Marché:
A case study of C source code verification: the Schorr-Waite algorithm.
190-199
Electronic Edition (link) BibTeX
- Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner:
Formal Verification of Dead Code Elimination in Isabelle/HOL.
200-209
Electronic Edition (link) BibTeX
- Hans de Nivelle, Ruzica Piskac:
Verification of an Off-Line Checker for Priority Queues.
210-219
Electronic Edition (link) BibTeX
- I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, A. Van Leeuwen:
Building Verification Condition Generators by Compositional Extensions.
220-230
Electronic Edition (link) BibTeX
True Concurrency
The FME Lecture (Keynote Talk 4)
Formal Methods for Maintenance and Change
Keynote Talk 5
Abstraction
Human-Computer Interaction
Tools and Practice
Component-Based Development
Quality of Service
DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Copyright © Tue Mar 11 20:41:05 2008
by Michael Ley (ley@uni-trier.de)