Towards Compositional Verification of Synchronous Reactive Systems

2021 ◽  
Vol 10 (2) ◽  
pp. 1
Author(s):  
Mohamed Mezghiche ◽  
Rabéa Ameur Boulifa ◽  
Sarah Chabane
Keyword(s):  
Reactive Systems ◽  
Compositional Verification

Towards compositional verification of synchronous reactive systems

2021 ◽  
Vol 10 (2) ◽  
pp. 120
Author(s):  
Sarah Chabane ◽  
Rabéa Ameur Boulifa ◽  
Mezghiche Mohamed
Keyword(s):  
Reactive Systems ◽  
Compositional Verification

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

2015 ◽  
Vol 14 (4) ◽  
pp. 1-27 ◽  
Author(s):  
Jian-Min Jiang ◽  
Huibiao Zhu ◽  
Qin Li ◽  
Yongxin Zhao ◽  
Lin Zhao ◽  
...  
Keyword(s):  
Reactive Systems ◽  
Event Based

Sound and mechanised compositional verification of input-output conformance

2013 ◽  
Vol 24 (4) ◽  
pp. 289-319 ◽  
Author(s):  
Augusto Sampaio ◽  
Sidney Nogueira ◽  
Alexandre Mota ◽  
Yoshinao Isobe
Keyword(s):  
Compositional Verification ◽  
Input Output

scholarly journals Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

2009 ◽  
Vol 410 (41) ◽  
pp. 4044-4066 ◽  
Author(s):  
Filippo Bonchi ◽  
Ugo Montanari
Keyword(s):  
Reactive Systems
Sign in / Sign up

Export Citation Format

Share Document