Specification and Analysis of Hardware Designs Using Mcrl2

K. L. Man,J. van der Wulp
DOI: https://doi.org/10.1109/ccece.2008.4564526
2008-01-01
Abstract:mCRL2 is a process algebraic language for the formal specification and analysis of the behaviour of distributed systems. The toolset of mCRL2 is the result of software engineering research with a very strong foundation in formal theories/methods, which supports the analysis and manipulation of mCRL2 specifications. This paper presents the application of the language mCRL2 and the mCRL2 toolset to specify and analyse a hardware design: a four-tap FIR filter.
What problem does this paper attempt to address?