Querying Parametric Temporal Logic Properties in Model Based Design.

Bardh Hoxha Adel Dokhanchi Georgios Fainekos

Published in: CoRR (2015)

Keyphrases

temporal logic
model checking
design process
artificial intelligence
modal logic
satisfiability problem
bounded model checking
qualitative and quantitative
concurrent systems
computation tree logic
formal specification language