Login / Signup

jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.

Matt WalkerParssa KhazraAnto Nanah JiHongru WangFranck van Breugel
Published in: ACM SIGSOFT Softw. Eng. Notes (2023)
Keyphrases
  • temporal logic
  • modal logic
  • verification method
  • model checking
  • predicate logic
  • logical framework
  • linear temporal logic
  • satisfiability problem
  • case study
  • data management
  • rapid development