Login / Signup
COMPLX: A Verification Framework for Concurrent Imperative Programs.
Sidney Amani
June Andronick
Maksym Bortin
Corey Lewis
Christine Rizkallah
Joseph Tuong
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
theoretical framework
real time
neural network
xml documents
main contribution
fixed point