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

共 50 条

[1] Verification of visualization
Manakov, D.
Averbukh, V.
Scientific Visualization, 2016, 8 (01): : 58 - 94
[2] Making computer programming fun and accessible
Mahmoud, QH
Dobosiewicz, W
Swayne, D
COMPUTER, 2004, 37 (02) : 108 - +
[3] Software debugging, testing, and verification
Hailpern, B
Santhanam, P
IBM SYSTEMS JOURNAL, 2002, 41 (01) : 4 - 12
[4] Design of KIBO structure and verification
Japan Aerospace Exploration Agency, Tsukuba Ibaraki, 3058505, Japan
不详
不详
不详
Int. Conf. Environ. Syst., ICES,
[5] Verification of hydrogen refueling stations
Toho Gas Co., Ltd., Japan
Int. Gas Res. Conf. Proc., (2462-2472):
[6] ANALYTICAL SOFTWARE VERIFICATION.
Ehrenberger, W.
Puhr-Westerheide, P.
AGARD Conference Proceedings, 1979, (261): : 1 - 35
[7] Implementation and verification of programmable security
Magill, Stephen
Skaggs, Bradley
Papa, Mauricio
Hale, John
IFIP Advances in Information and Communication Technology, (285-299):
[8] The Return of Age Verification Laws
Grimmelmann, James
COMMUNICATIONS OF THE ACM, 2024, 67 (05) : 34 - 36
[9] Java bytecode specification and verification
Burdy, Lilian
Pavlova, Mariela
Proc ACM Symp Appl Computing, 1600, (1835-1839):
[10] Subspace algorithms for face verification
Smiatacz M.
Advances in Intelligent and Soft Computing, 2011, 95 (04): : 23 - 31

← 1 2 3 4 5 →