Author:
Alkassar Eyad,Bogan Sebastian,Paul Wolfgang J.
Publisher
Springer Science and Business Media LLC
Reference68 articles.
1. Alkassar E, Böhm P, Knapp S 2008a Formal correctness of a gate-level automotive bus controller implementation. In B Kleinjohann, L Kleinjohann, W Wolf, eds., 6th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES08), 57–68. Springer
2. Alkassar E, Schirmer N, Starostin A 2008b Formal pervasive verification of a paging mechanism. In CR Ramakrishnan, J Rehof, eds., 14th intl Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS08), volume 4963 of LNCS, 109–123. Springer
3. Arkoudas K, Zee K, Kuncak V, Rinard M 2004 Verifying a file system implementation. In Sixth International Conference on Formal Engineering Methods, volume 3308 of LNCS 373–390
4. Beckert B, Beuster G 2004 Formal specification of security-relevant properties of user interfaces. In Proceedings, 3rd International Workshop on Critical Systems Development with UML, Lisbon, Portugal, Munich, Germany. TU Munich Technical Report TUM-I0415
5. Beuster G, Bormer T, Markus Wagner P B 2007 Code-level verification of an email client. http://www.verisoft.de/.rsrc/VerisoftRepository/vemail-trunk-r15868.tar.gz
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献