International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2021 Vol.10 No.2


Pages Title and author(s)
95-119Towards a hybrid formal analysis technique for safety-critical software architectures
Ammar Boucherit; Laura M. Castro; Osman Hasan; Abdallah Khababa
DOI: 10.1504/IJCCBS.2021.117993
120-142Towards compositional verification of synchronous reactive systems
Sarah Chabane; Rabéa Ameur-Boulifa; Mezghiche Mohamed
DOI: 10.1504/IJCCBS.2021.117995
143-183An SMT-based approach for generating trace examples and counter-examples of parametric properties
Salim Chehida; Yves Ledru; Yoann Blein; German Vega
DOI: 10.1504/IJCCBS.2021.117997