Empowering the Event-B Method Using External Theories
Yamine Aït‐Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Rivière, Neeraj Kumar Singh
Topics & Concepts
Mathematical proofInvariant (physics)AutomatonEvent (particle physics)Computer scienceState (computer science)Domain (mathematical analysis)Theoretical computer scienceFunction (biology)Algebra over a fieldMathematicsPure mathematicsAlgorithmPhysicsMathematical analysisEvolutionary biologyQuantum mechanicsGeometryMathematical physicsBiologyFormal Methods in VerificationSoftware Reliability and Analysis Research