Login / Signup

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof.

Gadi TellezJames Brotherston
Published in: J. Autom. Reason. (2020)
Keyphrases
  • temporal properties
  • model checking
  • temporal logic
  • provably correct
  • formal methods
  • data structure
  • possibility theory
  • theorem prover
  • formal specification
  • multi agent systems
  • software engineering