Probabilistic Model Checking of Regenerative Concurrent Systems

Article Properties
Cite
Paolieri, Marco, et al. “Probabilistic Model Checking of Regenerative Concurrent Systems”. IEEE Transactions on Software Engineering, vol. 42, no. 2, 2016, pp. 153-69, https://doi.org/10.1109/tse.2015.2468717.
Paolieri, M., Horvath, A., & Vicario, E. (2016). Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Transactions on Software Engineering, 42(2), 153-169. https://doi.org/10.1109/tse.2015.2468717
Paolieri M, Horvath A, Vicario E. Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Transactions on Software Engineering. 2016;42(2):153-69.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electric apparatus and materials
Electric circuits
Electric networks
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Probabilistic symbolic model checking with PRISM: a hybrid approach International Journal on Software Tools for Technology Transfer
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 82 2004
Uppaal—A tool suite for automatic verification of real-time systems 0
The tool Kronos 0
PRISM 4.0: Verification of probabilistic real-time systems 0
Timing assumptions and verification of finite-state concurrent systems 0