Complementary verification of embedded software using ASD and Uppaal
暂无分享,去创建一个
[1] Philippa J. Hopcroft,et al. Combining the Box Structure Development Method and CSP for Software Development , 2005, Electron. Notes Theor. Comput. Sci..
[2] Ivar Jacobson,et al. The unified modeling language user guide - the ultimate tutorial to the UML from the original designers , 1999, Addison-Wesley object technology series.
[3] Philippa J. Hopcroft,et al. Academia and industry meet: some experiences of formal methods in practice , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..
[4] Stacy J. Prowell,et al. Cleanroom software engineering: technology and process , 1999 .
[5] Harlan D. Mills,et al. Cleanroom Software Engineering , 1987, IEEE Software.
[6] Jozef Hooman. Compositionality and real-time , 1991 .
[7] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[8] Joseph Sifakis,et al. The IF Toolset , 2004, SFM.
[9] Ernst-Rüdiger Olderog. Combining Specification Techniques for Processes, Data and Time , 1998, ZUM.
[10] Jozef Hooman,et al. Specification and Compositional Verification of Real-Time Systems , 1991, Lecture Notes in Computer Science.
[11] Jaco van de Pol,et al. From POOSL to UPPAAL: Transformation and Quantitative Analysis , 2010, 2010 10th International Conference on Application of Concurrency to System Design.
[12] Jozef Hooman,et al. Experiences with a Compositional Model Checker in the Healthcare Domain , 2011, FHIES.
[13] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[14] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.