Solving Parallel Equations with BALM-II

G. Castagnetti, M. Piccolo, T. Villa, N. Yevtushenko, A. Mishchenko and Robert K. Brayton

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2012-181
July 19, 2012

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-181.pdf

In this report we describe how to solve parallel language equations over regular languages / automata and finite state machines (FSMs), using the software package BALM-II. The original version of BALM could solve equations only with respect to synchronous composition; we extended the original code to solve also equations with respect to parallel composition, adding new commands and procedures. The new version of BALM is called BALM-II, of which this document provides a user's manual. Finally, as an important application, we describe how to synthesize protocol converters with BALM-II.


BibTeX citation:

@techreport{Castagnetti:EECS-2012-181,
    Author = {Castagnetti, G. and Piccolo, M. and Villa, T. and Yevtushenko, N. and Mishchenko, A. and Brayton, Robert K.},
    Title = {Solving Parallel Equations with BALM-II},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2012},
    Month = {Jul},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-181.html},
    Number = {UCB/EECS-2012-181},
    Abstract = {In this report we describe how to solve parallel language equations over regular languages / automata and finite state machines (FSMs), using the software package BALM-II. The original version of BALM could solve equations only with respect to synchronous composition; we extended the original code to solve also equations with respect to parallel composition, adding new commands and procedures. The new version of BALM is called BALM-II, of which this document provides a user's manual. Finally, as an important application, we describe how to synthesize protocol converters with BALM-II.}
}

EndNote citation:

%0 Report
%A Castagnetti, G.
%A Piccolo, M.
%A Villa, T.
%A Yevtushenko, N.
%A Mishchenko, A.
%A Brayton, Robert K.
%T Solving Parallel Equations with BALM-II
%I EECS Department, University of California, Berkeley
%D 2012
%8 July 19
%@ UCB/EECS-2012-181
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-181.html
%F Castagnetti:EECS-2012-181