Towards verification via supercompilation
Alexei Lisitsa, Andrei P. Nemytykh · 2005
Supercompilation, or supervised compilation is a technique for program specialization, optimization and, more generally, program transformation. We present an idea to use supercompilation for verification of parameterized programs and protocols, present a case study and report on our initial experiments.