Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Composing Model Programs for Analysis

Margus Veanes and Jonathan Jacky

Abstract

Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of the spectrum, enables one to build up larger models from smaller ones, and at the other end of the spectrum allows one to restrict larger models to specific scenarios. In this paper we provide a formal foundation for composition of model programs and investigate its use in various situations that arise in model program analysis.

Details

Publication typeArticle
Published inThe Journal of Logic and Algebraic Programming
URLhttp://dx.doi.org/10.1016/j.jlap.2010.07.004
Pages467-482
Volume79
Number7
EditionNWPT 2008 special issue
PublisherElsevier
> Publications > Composing Model Programs for Analysis