Timely Specification Repair for Alloy 6
Jorge Cerqueira, Alcino Cunha, Nuno Macedo
Topics & Concepts
OracleComputer scienceContext (archaeology)Temporal logicProgramming languageCounterexampleSoftware engineeringBiologyMathematicsPaleontologyDiscrete mathematicsSoftware Testing and Debugging TechniquesFormal Methods in VerificationSoftware Engineering Research