Login / Signup

On the Saturation Principle for a Linear Temporal Logic.

Regimantas Pliuskevicius
Published in: Kurt Gödel Colloquium (1993)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • programming language
  • software engineering
  • general purpose