Monte Carlo Model Checking-Reference-Cited by-同舟云学术

Monte Carlo Model Checking

Published:2005 Issue: Volume: Page:271-286
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Grosu Radu,Smolka Scott A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_18.pdf

Reference33 articles.

1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous-time Markov chains (1996)

2. Alur, R., de Alfaro, L., Grosu, R., Henzinger, T.A., Kang, M., Kirsch, C.M., Majumdar, R., Mang, F., Wang, B.Y.: jMocha: A model checking tool that exploits design structure. In: Proceedings of the 23rd international conference on Software engineering, pp. 835–836. IEEE Computer Society, Los Alamitos (2001)

3. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15(1), 7–48 (1999)

4. Lecture Notes in Computer Science;C. Baier,2004

5. Lecture Notes in Computer Science;L. Brim,2001

Cited by 71 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems;IEEE Transactions on Software Engineering;2023-09-01

2. Randomized reachability analysis in UPPAAL: fast error detection in timed systems;International Journal on Software Tools for Technology Transfer;2022-11-17

3. Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking;AIxIA 2021 – Advances in Artificial Intelligence;2022

4. Statistical model checking for variability-intensive systems: applications to bug detection and minimization;Formal Aspects of Computing;2021-12

5. Sampling of shape expressions with ShapEx;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20