Login / Signup

Relatively complete refinement type system for verification of higher-order non-deterministic programs.

Hiroshi UnnoYuki SatakeTachio Terauchi
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases
  • higher order
  • natural images
  • high order
  • provably correct
  • databases
  • hardware designs
  • case study
  • pairwise
  • model checking
  • formal verification
  • asynchronous circuits