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 SystemsRef: CISTER-TR-130109 Publication Date: 2 to 6, Dec, 2012
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.
Poster presented in High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2012).
Record Date: 28, Jan, 2012
Short links for this page: www.cister.isep.pt/docs/cister_tr_130109 www.cister.isep.pt/docs/744