Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

2017 ◽  
Author(s):  
Min Zhang ◽  
Yunhui Ying
Keyword(s):  
Model Checking ◽  
Embedded Systems ◽  
Real Time ◽  
Specification Language ◽  
Constraint Specification ◽  
Ltl Model Checking ◽  
Clock Constraint Specification Language

scholarly journals Verifying distributed real-time properties of embedded systems via graph transformations and model checking

2006 ◽  
Vol 33 (1-3) ◽  
pp. 77-100 ◽  
Author(s):  
Gabor Madl ◽  
Sherif Abdelwahed ◽  
Douglas C. Schmidt
Keyword(s):  
Model Checking ◽  
Embedded Systems ◽  
Real Time ◽  
Graph Transformations

The clock constraint specification language for building timed causality models

2009 ◽  
Vol 6 (1-2) ◽  
pp. 99-106 ◽  
Author(s):  
Frédéric Mallet ◽  
Julien DeAntoni ◽  
Charles André ◽  
Robert de Simone
Keyword(s):  
Specification Language ◽  
Constraint Specification ◽  
Clock Constraint Specification Language
Sign in / Sign up

Export Citation Format

Share Document