Login / Signup

Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since.

Regimantas Pliuskevicius
Published in: LFCS (1992)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • transition systems
  • high level
  • finite state
  • formal verification