Author:
Olderog Ernst-Rüdiger,Wilhelm Reinhard
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Information Systems
Reference78 articles.
1. Abrial JR, Hallerstede S (2007) Refinement, decomposition and instantiation of discrete models: Application to Event-B. Fundam Informaticae 77(1–2):1–28
2. Alkassar E, Böhme S, Mehlhorn K, Rizkallah C (2011) Verification of certifying computations. In: Gopalakrishnan G, Qadeer S (eds) Computer Aided Verification, volume 6806 of Lecture Notes in Computer Science, Springer, pp 67–82
3. Alkassar E, Hillebrand MA, Leinenbach D, Schirmer NW, Starostin A (2008) The Verisoft approach to systems verification. In: Shankar N, Woodcock J (eds) Verified Software: Theories, Tools, Experiments (VSTTE), vol 5295 of Lecture Notes in Computer Science, Springer, pp 209–224
4. Apt KR, de Boer FS, Olderog ER (2009) Verification of Sequential and Concurrent Programs, 3rd, extended edn. Springer
5. Apt KR, Francez N, de Roever WP (1980) A proof system for communicating sequential processes. ACM Trans Prog Lang Syst 2(3):359–385
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献