Author:
Lenzini Gabriele,Martinelli Fabio,Matteucci Ilaria,Gnesi Stefania
Publisher
Springer Berlin Heidelberg
Reference66 articles.
1. Andersen, H.R.: Verification of Temporal Properties of Concurrent Systems. PhD thesis, Department of Computer Science, Aarhus University, Denmark (1993)
2. Andersen, H.R.: Partial model checking (extended abstract). In: Proc. of 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 26-29 June 1995, pp. 398–407. IEEE Computer Society Press, Los Alamitos (1995)
3. Andersen, H.R., Lind-Nielsen, J.: Partial model checking of modal equations: A survey. Software Tools for Technology Transfer 2(3), 242–259 (1999)
4. Bernardeschi, C., Fantechi, A., Gnesi, S.: Model checking fault tolerant systems. Software Testing, Verification and Reliability 12, 1–25 (2002)
5. Bernardeschi, C., Fantechi, A., Simoncini, L.: Formally verifying fault tolerant system designs. The Computer Journal 3(43), 191–205 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semiring-based Specification Approaches for Quantitative Security;Electronic Proceedings in Theoretical Computer Science;2015-09-28