Login / Signup
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.
Matt Walker
Parssa Khazra
Anto Nanah Ji
Hongru Wang
Franck 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