Title: Verifying temporal properties of systems
Subjects: Automatic theorem proving, Petri nets, Verification (Logic)