Analyzing a χ model of a turntable system using Spin, CADP and Uppaal-Reference-Cited by-同舟云学术

Analyzing a χ model of a turntable system using Spin, CADP and Uppaal

Published:2005-11 Issue:2 Volume:65 Page:51-104
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Bortnik E.,Trčka N.,Wijs A.J.,Luttik B.,van de Mortel-Fronczak J.M.,Baeten J.C.M.,Fokkink W.J.,Rooda J.E.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference42 articles.

1. The power of reachability testing for timed automata;Aceto;Theor. Comput. Sci.,2003

2. R. Alur, C. Courcoubetis, D. Dill, Model checking in dense real-time, in: Proceedings of the 5th IEEE Symposium on Logic in Computer Science, LICS, 1990.

3. A.T. Hofkamp, H.W.A.M. van Rooy, Embedded Systems Laboratory Exercises Manual, 2003.

4. Process Algebra;Baeten,1990

5. D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, Syntax and Consistent Equation Semantics of Hybrid Chi, CS-Report 04-37, Eindhoven University of Technology, 2004.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Probabilistic Model Checking for IEC 61499: A Manufacturing Application;2024 IEEE International Conference on Industrial Technology (ICIT);2024-03-25

2. Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer;2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing;2013-07

3. Formal verification of negotiation protocols for multi-agent manufacturing systems;International Journal of Production Research;2011-06-15

4. Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties;Lecture Notes in Computer Science;2011

5. Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction;Lecture Notes in Computer Science;2011