Maximally Concurrent Programs

JOURNAL ARTICLE published October 2000 in Formal Aspects of Computing

Authors: Rajeev Joshi | Jayadev Misra

The ‘Cash-Point’ Service: A Verification Case Study Using STeP

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Anca Browne | Bernd Finkbeiner | Zohar Manna | Henny Sipma

Composing and Refining Dense Temporal Logic Specifications

JOURNAL ARTICLE published October 2000 in Formal Aspects of Computing

Authors: Antonio Cau

Using VDMTools to Model and Validate the Cash Dispenser Example

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Peter Gorm Larsen | Paul Mukherjee | Kim Sunesen

Class Refinement as Semantics of Correct Object Substitutability

JOURNAL ARTICLE published October 2000 in Formal Aspects of Computing

Authors: Ralph-Johan Back | Anna Mikhajlova | Joakim von Wright

Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Henning Dierks | Josef Tapken

Generalised Stream X-Machines with Output Delimited Type

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Tudor Bălănescu

Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: R. M. Hierons | M. Harman

Cache Coherency in SCI: Specification and a Sketch of Correctness

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: Amy Felty | Frank Stomp

Deriving Proof Rules from Continuation Semantics

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: Philippe Audebaud | Elena Zucca

Responsiveness and stable revivals

JOURNAL ARTICLE published August 2007 in Formal Aspects of Computing

Authors: J. N. Reed | A. W. Roscoe | J. E. Sinclair

Verifying a signature architecture: a comparative case study

JOURNAL ARTICLE published March 2007 in Formal Aspects of Computing

Authors: David Basin | Hironobu Kuruma | Kunihiko Miyazaki | Kazuo Takaragi | Burkhart Wolff

How to stop time stopping

JOURNAL ARTICLE published December 2006 in Formal Aspects of Computing

Authors: Howard Bowman | Rodolfo Gómez

Guest Editorial Integrated Formal Methods

JOURNAL ARTICLE published December 2005 in Formal Aspects of Computing

Authors: E. Boiten | J. Derrick | G. Smith

Forthcoming events

JOURNAL ARTICLE published June 1991 in Formal Aspects of Computing

A refinement-based process algebra for timed automata

JOURNAL ARTICLE published August 2005 in Formal Aspects of Computing

Authors: Stefano Cattani | Marta Kwiatkowska

A mechanically verified incremental garbage collector

JOURNAL ARTICLE published July 1994 in Formal Aspects of Computing

Authors: David M. Russinoff

A layered semantics for a parallel object-oriented language

JOURNAL ARTICLE published July 1992 in Formal Aspects of Computing

Authors: Pierre America | Jan Rutten

A criterion for atomicity

JOURNAL ARTICLE published May 1992 in Formal Aspects of Computing

Authors: James H. Anderson | Mohamed G. Gouda

Coquand's calculus of constructions: A mathematical foundation for a proof development system

JOURNAL ARTICLE published September 1992 in Formal Aspects of Computing

Authors: Jonathan P. Seldin