Selected Temporal Logic Systems: An Attempt at Engineering Evaluation.

Krystian Jobczyk Antoni Ligeza Krzysztof Kluza

Published in: ICAISC (1) (2016)

Keyphrases

temporal logic
model checking
dynamic constraints
distributed systems
linear temporal logic
software engineering
modal logic
reactive systems
verification method
expert systems
satisfiability problem
finite state
computation tree logic
mazurkiewicz traces