A Hybrid Linear Logic for Constrained Transition Systems.

Joëlle Despeyroux Kaustuv Chaudhuri

Published in: TYPES (2013)

Keyphrases

linear logic
transition systems
model checking
concurrent systems
temporal logic
fixed point
logical framework
control flow
finite state
desirable properties
logic programming
cut elimination
practical reasoning
formal specification
inference rules
sequent calculus
formal verification
software engineering