Unified verification and monitoring of executable UML specifications
Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
Topics & Concepts
Computer scienceExecutableProgramming languageModel checkingFormal verificationUnified Modeling LanguageRuntime verificationFormal methodsApplications of UMLUML toolFormal specificationSoftwareFormal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research