DocumentCode
1994134
Title
Towards verification via supercompilation
Author
Lisitsa, Alexei ; Nemytykh, Andrei
Author_Institution
Dept. of Comput. Sci., Liverpool Univ., UK
Volume
2
fYear
2005
fDate
26-28 July 2005
Firstpage
9
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-2413-3
Type
conf
DOI
10.1109/COMPSAC.2005.159
Filename
1508067
Link To Document