Verifying Quantitative Temporal Properties of Procedural Programs.

Mohamed Faouzi Atig Ahmed Bouajjani K. Narayan Kumar Prakash Saivasan

Published in: CONCUR (2018)

Keyphrases

temporal properties
model checking
temporal logic
possibility theory
formal specification
formal methods
qualitative and quantitative
general purpose
computer programs
object oriented
programming language
data mining
probabilistic model
data model
cooperative
multi agent
artificial intelligence