Subject
Computer Networks and Communications,Hardware and Architecture,Modelling and Simulation,Software
Reference49 articles.
1. Characterizing correctness properties of parallel programs using fixpoints;Emerson,1980
2. Model-checking algorithms for CTMCs;Baier;IEEE Trans. Softw. Eng.,2003
3. Statistical probabilistic model checking with a focus on time-bounded properties;Younes;Inform. and Comput.,2006
4. Model-checking CTMCs;Aziz;ACM Trans. Comput. Log.,2000
5. P. Ballarini, H. Djafri, M. Duflot, S. Haddad, N. Pekergin, HASL: an expressive language for statistical verification of stochastic models, in: Proc. Valuetools’2011, 2011, pp. 306–315.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献