Login / Signup
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.
Roberto Barbuti
Nicoletta De Francesco
Antonella Santone
Gigliola Vaglini
Published in:
FORTE (1997)
Keyphrases
</>
transition systems
temporal logic
model checking
modal operators
concurrent systems
modal logic
finite state
control flow
desirable properties
reactive systems
practical reasoning
artificial intelligence
logic programs
formal specification
partially ordered