next up previous
Next: Supercompilation

Verification via Supercompilation

Alexei Lisitsa - Andrei Nemytykh

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
  • Future Work
  • Bibliography
  • About this document ...

    Alexei Lisitsa 2005-07-14