Sign in

Program Dependence Net and Its Slice for Verifying Linear Temporal Properties.

Zhijun DingShuo LiCheng ChenCong He
Published in: CoRR (2023)
Keyphrases
  • temporal properties
  • model checking
  • temporal logic
  • formal methods
  • possibility theory
  • general purpose
  • formal specification
  • knowledge base