Error Finding in Real-Time Systems using Mutants of Temporal Properties.
Ariel GonzalezMaximiliano CristiáCarlos LunaPublished in: SCCC (2021)
Keyphrases
- real time systems
- temporal properties
- model checking
- real time
- distributed systems
- real time database systems
- embedded systems
- possibility theory
- architectural model
- timing constraints
- incomplete information
- formal methods
- decision making
- temporal logic
- business processes
- fuzzy logic
- artificial neural networks
- object oriented programming language