Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name.

Masayuki Mizuno Eijiro Sumii

Published in: FLOPS (2018)

Keyphrases

formal verification
model checking
model checker
bounded model checking
symbolic model checking
point correspondences
automated verification
program slicing
temporal logic
pixel wise
artificial intelligence
state space
distributed systems
functional verification