On Verifying Temporal Properties of Configurable Software.

Aleksandar S. Dimovski Bekim Fetaji

Published in: MECO (2023)

Keyphrases

temporal properties
model checking
formal methods
software development
temporal logic
computer systems
software systems
formal specification
possibility theory
source code
query language
case based reasoning
object oriented