Model‐Based Analysis

[1]  Jérôme Hugues,et al.  Modeling and Verification of Memory Architectures with AADL and REAL , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.

[2]  Joost-Pieter Katoen,et al.  A Model Checker for AADL , 2010, CAV.

[3]  Joseph Sifakis,et al.  Translating AADL into BIP - Application to the Verification of Real-Time Systems , 2009, MoDELS.

[4]  F. Singhoff,et al.  Scheduling and memory requirements analysis with AADL , 2005, SigAda '05.

[5]  Bowen Alpern,et al.  Recognizing safety and liveness , 2005, Distributed Computing.

[6]  Orna Kupferman,et al.  Model Checking of Safety Properties , 1999, Formal Methods Syst. Des..

[7]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.