Login / Signup
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs.
Krishnendu Chatterjee
Amir Kafshdar Goharshady
Ehsan Kafshdar Goharshady
Mehrdad Karrabi
Dorde Zikelic
Published in:
CoRR (2024)
Keyphrases
</>
model checking
model checker
bounded model checking
real time
temporal logic
provably correct
linear time temporal logic
imperative programs
neural network
logic programming
structural properties
desirable properties
formal specification
formal verification
symbolic execution