Login / Signup

Trustworthy Runtime Verification via Bisimulation (Experience Report).

Ryan G. ScottMike DoddsIvan PerezAlwyn E. GoodloeRobert Dockins
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • model checking
  • information systems
  • user experience
  • face verification
  • formal methods
  • databases
  • computer vision
  • case study
  • multiscale
  • data structure
  • source code
  • formal verification