Login

Towards Specification and Verification Frameworks for Concurrent Real-Time Systems
Ref: CISTER-TR-130109       Publication Date: 2 to 6, Dec, 2012

Towards Specification and Verification Frameworks for Concurrent Real-Time Systems

Ref: CISTER-TR-130109       Publication Date: 2 to 6, Dec, 2012

Abstract:
In this work we propose an hybrid verification framework for hard real-time systems. The approach is to use both static and dynamic verification techniques in the sense that dynamic verification is used to address the parts on which static verification fails or is very hard to obtain success.

Authors:
David Pereira
,
André Pedro
,
Luis Miguel Pinho
,
Jorge Sousa Pinto


Poster presented in High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2012).
Boston, U.S.A..



Record Date: 28, Jan, 2012