Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract).

Bengt Jonsson Yih-Kuen Tsay

Published in: TAPSOFT (1995)

Keyphrases

extended abstract
linear time temporal logic
temporal logic
sequent calculus
natural deduction
model checking
high level
concurrent systems
cut elimination
expert systems
general purpose
inference rules
formal specification
transition systems