Login / Signup
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing.
Yuandong Cyrus Liu
Ton-Chanh Le
Timos Antonopoulos
Eric Koskinen
ThanhVu Nguyen
Published in:
CoRR (2023)
Keyphrases
</>
symbolic execution
hardware designs
concurrent programming
model checking
formal verification
verification method
concurrent systems
automatic programming
face verification
signature verification
word processing
dual formulation
primal dual
programs written
java bytecode
computer programs
object oriented