Login / Signup

Requirement specification extraction and analysis based on propositional projection temporal logic.

Xiaobing WangChunyi LiLiang Zhao
Published in: J. Softw. Evol. Process. (2024)
Keyphrases
  • temporal logic
  • model checking
  • transition systems
  • linear temporal logic
  • satisfiability problem
  • finite state
  • reactive systems
  • knowledge base
  • logic programs
  • first order logic
  • formal verification