Towards Focus on Time

Abstract

This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.

12th International Workshop on Automated Verification of Critical Systems (AVoCS'12), 2012

References in corpus (1)

• Human Factors of Formal Methods

Cited by in corpus (2)

• From abstract modelling to remote cyber-physical integration/interoperability testing
• Stream processing components: Isabelle/HOL formalisation and case studies