An approach towards formal verification of object oriented real-time systems

2003 ◽  
Author(s):  
R.C.M. de Rooij ◽  
J. van Katwijk
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems

Object-oriented specification and formal verification of real-time systems

1996 ◽  
Vol 2 (1) ◽  
pp. 161-198 ◽  
Author(s):  
Jyhjong Lin ◽  
David Chenho Kung ◽  
Pei Hsia
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems

Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems

1996 ◽  
Vol 29 (6) ◽  
pp. 9-17
Author(s):  
Mohamed Younis ◽  
Grace Tsai ◽  
Thomas Marlowe ◽  
Alexander Stoyenko
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Speculative Execution ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Time Systems

Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-time Systems

SDL '99 ◽  
1999 ◽  
pp. 241-256 ◽  
Author(s):  
J.M. Alvarez ◽  
M. Díaz ◽  
L.M. Llopis ◽  
E. Pimentel ◽  
J.M. Troya
Keyword(s):  
Real Time ◽  
Schedulability Analysis ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document