Inferring Properties in Computation Tree Logic.

Rajarshi Roy Daniel Neider

Published in: CoRR (2023)

Keyphrases

computation tree logic
desirable properties
temporal properties
model checking
temporal logic