Specifying Event-Based Systems with a Counting Fluent Temporal Logic.

Germán Regis Renzo Degiovanni Nicolás D'Ippolito Nazareno Aguirre

Published in: ICSE (1) (2015)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
reactive systems
dynamic constraints
expert systems
knowledge based systems
software engineering
distributed systems
complex systems
temporal knowledge
concurrent systems
transition systems
linear temporal logic