A property specification pattern catalog for real-time system verification with UPPAAL
Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske
Topics & Concepts
Property (philosophy)Computer scienceProgramming languageEpistemologyPhilosophyFormal Methods in VerificationSoftware Testing and Debugging TechniquesEmbedded Systems Design Techniques