Open AccessPCTL model checking based on Giraph
Author(s) -
Yuting Lu,
Yueming Zhao,
Yuchun Wang,
Xiaoyan Wang
Publication year - 2019
Publication title -
journal of physics. conference series
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1237/5/052022
Subject(s) - model checking , scalability , computer science , probabilistic ctl , computation tree logic , probabilistic logic , property (philosophy) , theoretical computer science , computation , state space , temporal logic , tree (set theory) , state (computer science) , reachability , graph , algorithm , distributed computing , probabilistic analysis of algorithms , mathematics , database , artificial intelligence , mathematical analysis , philosophy , statistics , epistemology