Abstract
This paper surveys the main functionalities of the PLASMA statistical model checking platform developed at India.
2014 Theoretical Aspects of Software Engineering Conference (TASE)
Like what you’re reading?
Already a member?
Related Articles
- Model Checking Controllers with Predicate Inputs
VLSI Design, International Conference on - Verification of Interlocking Systems Using Statistical Model Checking
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Accelerating Online Model Checking
Dependable Computing, Latin-American Symposium on - Model Checking
Theoretical Computer Science, Workshop-School on - Statistical Model Checking for SystemC Models
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Statistical Model Checking Meets Property-Based Testing
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Statistical Analysis of Separation Distance between Equatorial Plasma Bubbles
2017 IEEE 13th International Symposium on Autonomous Decentralized System (ISADS) - Statistical Model Checking for Steady State Dependability Verification
Dependability, International Conference on - The Probabilistic Model Checking Landscape
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Statistical Model Checking for Hyperproperties
2021 IEEE 34th Computer Security Foundations Symposium (CSF)