Controller dependability analysis by probabilistic model checking

This publication has 7 references indexed in Scilit:

• Evaluating the reliability of NAND multiplexing with PRISM
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005
• Probabilistic analysis of an anonymity system
  Journal of Computer Security, 2004
• Model-checking algorithms for continuous-time markov chains
  IEEE Transactions on Software Engineering, 2003
• Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
  Formal Aspects of Computing, 2003
• Analysis of Probabilistic Contract Signing
  Published by Springer Nature ,2003
• Binary decision diagrams and beyond: enabling technologies for formal verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Reactive Modules
  Formal Methods in System Design, 1999