Verification games: Making verification fun

被引：0

作者：

Dietl, Werner ^{[1
]}

Dietzel, Stephanie ^{[1
]}

Ernst, Michael D. ^{[1
]}

Mote, Nathaniel ^{[1
]}

Walker, Brian ^{[1
]}

Cooper, Seth ^{[2
]}

Pavlik, Timothy ^{[2
]}

Popović, Zoran ^{[2
]}

机构：

[1] Programming Languages and Software Engineering Group, University of Washington, United States

[2] Center for Game Science, University of Washington, United States

来源：

Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop | 2012年

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Formal verification

引用

页码：42 / 49