Assumption/Guarantee Specifications in Linear-Time Temporal Logic.

Bengt Jonsson Yih-Kuen Tsay

Published in: Theor. Comput. Sci. (1996)

Keyphrases

linear time temporal logic
model checking
sequent calculus
formal specification
model checker
transition systems
cut elimination
high level
general purpose
natural deduction
expert systems
domain specific
low dimensional
random variables
temporal logic
linear logic