KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

KIAM Preprint № 19, Moscow, 2012
Authors: Klimov A. V., Klyuchnikov I. G., Romanenko S. A.
Automatic verification of counter systems via domain-specific multi-result supercompilation
Abstract:
We consider an application of supercompilation to the analysis of counter transition systems. Multi-result supercompilation enables us to find the best versions of the analysis by generating a set of possible results that are then filtered according to some criteria. Unfortunately, the search space may be rather large. However,the search can be drastically reduced by taking into account the specifics of the domain. Thus, we argue that a combination of domain-specific and multi-result supercompilation may produce a synergistic effect. Low-cost implementations of domain-specific supercompilers can be produced by using prefabricated components provided by the MRSC toolkit.
Publication language: russian/english,  pages: 30/28
Research direction:
Programming, parallel computing, multimedia
Russian source text:
English source text:
List of publications citation:
Export link to publication in format:   RIS    BibTeX
View statistics (updated once a day)
over the last 30 days — 11 (+7), total hit from 01.09.2019 — 115
About authors:
  • Klimov Andrei Valentinovich,  orcid.org/0000-0003-0418-7311KIAM RAS
  • Klyuchnikov Ilya Grigor'evich,  KIAM RAS
  • Romanenko Sergei Anatolievich,  orcid.org/0000-0002-2971-9647KIAM RAS