TY - GEN
T1 - μ̂CRL
T2 - 2008 International SoC Design Conference, ISOCC 2008
AU - Man, K. L.
PY - 2008
Y1 - 2008
N2 - μ̂CRL is a process algebraic language for the formal and analysis of the behaviour of distributed systems. toolset of μ̂CRL is the result of software engineering research a very strong foundation in formal theories/methods, which the analysis and manipulation of μ̂CRL specifications. paper investigates a Computer Science based approach for and verification of hardware circuits using μ̂CRL its toolset. Two standard benchmark circuits are described μ̂CRL and analysed by the μ̂CRL toolset together with the tools CADP and SPIN, which are well-equipped with the μ̂CRL toolset.
AB - μ̂CRL is a process algebraic language for the formal and analysis of the behaviour of distributed systems. toolset of μ̂CRL is the result of software engineering research a very strong foundation in formal theories/methods, which the analysis and manipulation of μ̂CRL specifications. paper investigates a Computer Science based approach for and verification of hardware circuits using μ̂CRL its toolset. Two standard benchmark circuits are described μ̂CRL and analysed by the μ̂CRL toolset together with the tools CADP and SPIN, which are well-equipped with the μ̂CRL toolset.
UR - http://www.scopus.com/inward/record.url?scp=69949099053&partnerID=8YFLogxK
U2 - 10.1109/SOCDC.2008.4815653
DO - 10.1109/SOCDC.2008.4815653
M3 - Conference Proceeding
AN - SCOPUS:69949099053
SN - 9781424425990
T3 - 2008 International SoC Design Conference, ISOCC 2008
SP - I387-I390
BT - 2008 International SoC Design Conference, ISOCC 2008
Y2 - 24 November 2008 through 25 November 2008
ER -