UPPAAL in Practice: Quantitative Verification of a RapidIO Network
暂无分享,去创建一个
Jaco van de Pol | Jeroen Voeten | Bart D. Theelen | Jan Tretmans | Rom Langerak | Jiansheng Xing | J. Tretmans | R. Langerak | B. Theelen | J. Voeten | J. Pol | Jiansheng Xing
[1] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] Mcw Marc Geilen. Formal techniques for verification of complex real-time systems , 2002 .
[4] Klaus Schneider,et al. Symbolic model checking of real-time systems , 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
[5] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[6] C. Rattray,et al. Specification and Verification of Concurrent Systems , 1990, Workshops in Computing.
[7] Jpm Jeroen Voeten,et al. Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) , 1997 .
[8] 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.
[9] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[10] Joseph Sifakis,et al. Tools and Applications II: The IF Toolset , 2004 .
[11] Marc Geilen,et al. Software/Hardware Engineering with the Parallel Object-Oriented Specification Language , 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).
[12] Greg Shippen. The rapidio high-speed interconnect : A technical overview , 2007 .
[13] Ugo Montanari,et al. International Symposium on Programming , 1982, Lecture Notes in Computer Science.