Model Checking the Information Flow Security of Real-Time Systems

2018 ◽  
pp. 27-43 ◽  
Author(s):  
Christopher Gerking ◽  
David Schubert ◽  
Eric Bodden
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Information Flow ◽  
Real Time Systems ◽  
Information Flow Security ◽  
Time Systems

scholarly journals Symbolic Model Checking for Real-Time Systems

1994 ◽  
Vol 111 (2) ◽  
pp. 193-244 ◽  
Author(s):  
T.A. Henzinger ◽  
X. Nicollin ◽  
J. Sifakis ◽  
S. Yovine
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Symbolic Model Checking ◽  
Real Time Systems ◽  
Symbolic Model ◽  
Time Systems

KRONOS — Model Checking of Real-time Systems

2001 ◽  
pp. 161-168
Author(s):  
Béatrice Bérard ◽  
Michel Bidoit ◽  
Alain Finkel ◽  
François Laroussinie ◽  
Antoine Petit ◽  
...  
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

scholarly journals Model Checking Process Algebra of Communicating Resources for Real-Time Systems

2014 ◽  
Author(s):  
A. Jalil Boudjadar ◽  
Jin Hyun Kim ◽  
Kim G. Larsen ◽  
Ulrik Nyman
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Process Algebra ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document