Volume 12, Issue 3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 12, Issue 3

April 1998

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

On Deducing Timing Constraints in the Verification of Interfaces
F. Mavaddat
T. Gahlinger
OriginalPaper Pages: 223 - 239
Efficient Algorithms for Interface Timing Verification
Ti-Yen Yen
Alex Ishii
Wayne Wolf
OriginalPaper Pages: 241 - 265
The General Product Machine: a New Model for Symbolic FSM Traversal
Giampiero Cabodi
Paolo Camurati
Matteo Sonza Reorda
OriginalPaper Pages: 267 - 289