Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.
Mohammadreza MehrabianMohammad KhayatianAviral ShrivastavaJohn C. EidsonPatricia DerlerHugo A. AndradeYa-Shian Li-BaboudEdward R. GrifforMarc WeissKevin B. StantonPublished in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
- temporal logic
- cyber physical systems
- model checking
- cyber physical
- modal logic
- belief revision
- physical world
- cyber security
- linear temporal logic
- reactive systems
- embedded systems
- formal verification
- mazurkiewicz traces
- real time
- verification method
- social networks
- epistemic logic
- software testing
- monitoring system
- computation tree logic
- artificial intelligence