A systematic literature review on counterexample explanation
Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske
Topics & Concepts
CounterexampleModel checkingComputer scienceContext (archaeology)Probabilistic logicAvionicsDomain (mathematical analysis)Formal verificationUsabilityTemporal logicLife-critical systemArtificial intelligenceField (mathematics)Formal methodsData scienceSoftware engineeringTheoretical computer scienceHuman–computer interactionProgramming languageMathematicsSoftwarePure mathematicsMaterials sciencePaleontologyDiscrete mathematicsComposite materialMathematical analysisBiologyFormal Methods in VerificationSoftware Reliability and Analysis ResearchSafety Systems Engineering in Autonomy