1 Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark2 Department of Informatics and Mathematical Modeling, Technical University of Denmark3 Department of Applied Mathematics and Computer Science, Technical University of Denmark4 East China Normal University5 Wuxi SensingNet Industrialization Research Institute6 East China Normal University
A Stochastic Model Checking Case Study
In this document, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.
Main Research Area:
D T U Compute. Technical Report
Technical University of Denmark, DTU Informatics, Building 321, 2012