Volume 22, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 22, Issue 1

January 2003

3 articles in this issue

Mexitl: Multimedia in Executable Interval Temporal Logic
Howard Bowman
Helen Cameron
Simon Thompson
OriginalPaper Pages: 5 - 38
Polynomial Formal Verification of Multipliers
Martin Keim
Rolf Drechsler
Paul Molitor
OriginalPaper Pages: 39 - 58
A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
Béatrice Bérard
Laurent Fribourg
Jean-François Monin
OriginalPaper Pages: 59 - 86