Login / Signup

The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.

Roope KaivolaAntti Valmari
Published in: CONCUR (1992)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • high level
  • semantic web
  • knowledge base
  • natural language
  • domain specific
  • domain independent
  • software engineering