A fairness-based refinement strategy to transform liveness properties in Event-B models
Chenyang Zhu, Michael Butler, Corina Ĉırstea, Thai Son Hoang
Topics & Concepts
LivenessComputer scienceLinear temporal logicEvent (particle physics)Model checkingTheoretical computer scienceFormalism (music)DeadlockAlgorithmProgramming languageVisual artsQuantum mechanicsMusicalPhysicsArtFormal Methods in VerificationSafety Systems Engineering in AutonomySoftware Reliability and Analysis Research