Verification via Supercompilation
Supercompilation, or Supervised Compilation
is a technique for program specialization, optimization and,
more generally, program transformation[26,28,21,19].
Recently we have found new applications of
supercompilation for verification of parameterized systems and protocols.
This page is going to keep a record of all developments in this
new exciting area. See also additional information at
SCP4: Verification of Protocols web page.
More parameterized protocols
Finite state systems
About this document ...