Login / Signup

Verification column.

Ranko Lazic
Published in: ACM SIGLOG News (2019)
Keyphrases
  • model checking
  • formal analysis
  • verification method
  • databases
  • information retrieval
  • website
  • web services
  • formal methods
  • formal verification
  • asynchronous circuits
  • column oriented