Publication:3972532

zbMath0746.68030MaRDI QIDQ3972532

Marco Danelutto, Andrea Masini

Publication date: 25 June 1992

zbMATH Keywords

model checking; propositional temporal logic; concurrent transition systems

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

03B45: Modal logic (including the logic of norms)

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

TTL : a formalism to describe local and global properties of distributed systems