Journal: Formal Asp. Comput.

Volume 10, Issue 5-6

435 -- 0Jan Friso Groote, Bas Luttik, Jos van Wamel. Editorial
436 -- 451Marie-Claude Gaudel, Perry R. James. Testing Algebraic Data Types and Processes: A Unifying Theory
452 -- 468Stuart Anderson, Konstantinos Tourlas. Design for Proof: An Approach to the Design of Domain-Specific Languages
469 -- 482Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper. Partial-order Reduction Techniques for Real-time Model Checking
483 -- 508Theofanis Vassiliou-Gioles, Ina Schieferdecker. Case Study in Protocol Validation: Validating an ATM Signalling Protocol
509 -- 531Carron Shankland, Mark van der Zwaag. The Tree Identify Protocol of IEEE 1394 in µCRL
532 -- 549Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm. Investigating the Integration of two Formal Methods
550 -- 575Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal

Volume 10, Issue 4

311 -- 312Stefania Gnesi, Diego Latella. Editorial
313 -- 337Marco Bernardo, Roberto Gorrieri, Marco Roccetti. Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet
338 -- 360Arne Borälv. Case Study: Formal Verification of a Computerized Railway Interlocking
361 -- 380Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso. Formal Verification of a Railway Interlocking System using Model Checking
381 -- 404Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche. The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems
405 -- 434Giorgio P. Faconti, Mieke Massink. Modelling and Verification of PREMO Synchronisable Objects

Volume 10, Issue 3

193 -- 213Jürgen Dingel, David Garlan, Somesh Jha, David Notkin. Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning
233 -- 242Richard F. Paige. Heterogeneous Notations for Pure Formal Method Integration
243 -- 247Martin C. Henson. The Standard Logic of Z is Inconsistent
248 -- 266Luc Léonard, Guy Leduc. A Formal Definition of Time in LOTOS
267 -- 289Ana Cavalcanti, Jim Woodcock. ZRC - A Refinement Calculus for Z
290 -- 306Eric C. R. Hehner. Formalization of Time and Space

Volume 10, Issue 2

97 -- 124David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh. A Program Refinement Tool
125 -- 159John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen. Specifying and Refining Internal Operations in Z
160 -- 170Philippe de Groote, Guy Perrier. A Note on Kobayashi s and Yonezawa s Asynchronous Communication Model Based on Linear Logic
171 -- 186Tobias Nipkow. Winskel is (almost) Right: Towards a Mechanized Semantics
187 -- 192Ian J. Hayes. Expressive Power of Specification Languages

Volume 10, Issue 1

1 -- 29Ingrid Rewitzky, Chris Brink. Unification of Four Versions of Program Semantics
30 -- 42Henri Korver, M. P. A. Sellink. A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
43 -- 58Henri Korver, M. P. A. Sellink. Example Verifications Using Alphabet Axioms
59 -- 75Gary T. Leavens, Jeannette M. Wing. Protective Interface Specifications
76 -- 96Joseph M. Morris, Alexander Bunkenburg. Partiality and Nondeterminacy in Program Proofs