FMT - UT


ITA - KUN


Philips


Progress


October 1, 2002
Henrik Bohnenkamp

Tools

: Erlangen-Twente Markov Chain Checker.
The prototype tool for DES of specifications.
The prototype tool for the Specification language MoDeST.