Login / Signup

Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications.

Rob Sumners
Published in: ACL2 (2017)
Keyphrases
  • real time
  • databases
  • real world
  • computer vision
  • website
  • theorem proving