Title :
Towards verification via supercompilation
Author :
Lisitsa, Alexei ; Nemytykh, Andrei
Author_Institution :
Dept. of Comput. Sci., Liverpool Univ., UK
Abstract :
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.
Keywords :
formal verification; program compilers; formal verification; program optimization; program specialization; program transformation; supercompilation; Computer applications; Computer languages; Computer science; Concrete; History; Power system modeling; Protocols; Resource description framework; Software testing; System testing;
Conference_Titel :
Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International
Print_ISBN :
0-7695-2413-3
DOI :
10.1109/COMPSAC.2005.159
