Formal Verification of a Compiler Back-End Generic Checker Program
暂无分享,去创建一个
[1] Amir Pnueli,et al. Translation Validation for Synchronous Languages , 1998, ICALP.
[2] Axel Dold,et al. ASM-based Mechanized Verification of Compiler Back-Ends , 1998, Workshop on Abstract State Machines.
[3] Thilo S. Gaul,et al. Correct Programs without Proof? On Checker-Based Program Verification , 1998, Tool Support for System Specification, Development and Verification.
[4] Wolfgang Goerigk,et al. Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct , 1998, FM-Trends.
[5] Axel Dold. Software Development in PVS Using Generic Development Steps , 1998, Generic Programming.
[6] Wolf Zimmermann,et al. On the Construction of Correct Compiler Back-Ends: An ASM-Approach , 1997, J. Univers. Comput. Sci..
[7] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[8] Gerhard Goos,et al. Construction of Verified Compiler Front-Ends with Program-Checking , 1999, Ershov Memorial Conference.
[9] George C. Necula,et al. The design and implementation of a certifying compiler , 1998, PLDI.
[10] Yassine Lakhnech,et al. Tool Support for System Specification, Development and Verification , 1999, Advances in Computing Science.