@inproceedings{e98516fae42849e8bde109559ef994b1,
title = "Specification and analysis of hardware designs using mCRL2",
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.",
keywords = "Formal methods, Process algebras, Specification and analysis of hardware designs, mCRL2, μCRL",
author = "Man, {K. L.} and {Van Der Wulp}, J.",
year = "2008",
doi = "10.1109/CCECE.2008.4564526",
language = "English",
isbn = "9781424416431",
series = "Canadian Conference on Electrical and Computer Engineering",
pages = "211--214",
booktitle = "IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008",
note = "IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008 ; Conference date: 04-05-2008 Through 07-05-2008",
}