Many-Sorted Temporal Logic for Multi-Processes Systems.

Patrice Enjalbert Max Michel

Published in: MFCS (1984)

Keyphrases

temporal logic
model checking
reactive systems
modal logic
dynamic constraints
complex systems
distributed systems
satisfiability problem
verification method
concurrent systems