Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
Peter Rivière, Neeraj Kumar Singh, Yamine Aït‐Ameur, Guillaume Dupont
Topics & Concepts
LivenessComputer scienceSoundnessEvent (particle physics)Theoretical computer scienceTRACE (psycholinguistics)Set (abstract data type)Semantics (computer science)Formal methodsProgramming languageLinear logicTemporal logicLinear temporal logicModel checkingPhilosophyPhysicsLinguisticsQuantum mechanicsFormal Methods in VerificationLogic, programming, and type systemsSynthetic Organic Chemistry Methods