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.