Volume 19,
Number 1,
March 2007
Volume 19,
Number 2,
June 2007
Volume 19,
Number 3,
August 2007
- Ranko Lazic, Rajagopal Nagarajan:
Guest Editorial.
275
Electronic Edition (link) BibTeX
- Neil Evans, Helen Treharne:
Interactive tool support for CSP || B consistency checking.
277-302
Electronic Edition (link) BibTeX
- Joy N. Reed, A. W. Roscoe, J. E. Sinclair:
Responsiveness and stable revivals.
303-319
Electronic Edition (link) BibTeX
- Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu:
Verification of clock synchronization algorithms: experiments on a combination of deductive tools.
321-341
Electronic Edition (link) BibTeX
- Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon:
Proof producing synthesis of arithmetic and cryptographic hardware.
343-362
Electronic Edition (link) BibTeX
- Milan Ceska, Pavel Erlebach, Tomás Vojnar:
Generalised multi-pattern-based verification of programs with linear linked structures.
363-374
Electronic Edition (link) BibTeX
- Nathaniel Charlton:
Program verification with interacting analysis plugins.
375-399
Electronic Edition (link) BibTeX
- Eun-Young Kang, Stephan Merz:
Predicate diagrams for the verification of real-time systems.
401-413
Electronic Edition (link) BibTeX
Volume 19,
Number 4,
November 2007
Copyright © Sat May 16 23:59:02 2009
by Michael Ley (ley@uni-trier.de)
