Analyzing a χ model of a turntable system using Spin, CADP and Uppaal (original) (raw)
Anton Wijs2005, The Journal of Logic and Algebraic Programming
visibility
…
description
65 pages
link
1 file
AI-generated Abstract
The paper investigates the χ model of a turntable system, utilizing the Spin, CADP, and Uppaal tools for formal verification and analysis. It highlights the interactions within the turntable system, emphasizes the role of these computational tools in verifying system properties, and discusses the results derived from the analysis and their implications for future research in system modeling.