Computation Tree Logic for Synchronization Properties.

Krishnendu Chatterjee Laurent Doyen

Published in: CoRR (2016)

Keyphrases

computation tree logic
model checking
desirable properties
temporal logic
temporal properties