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 条

[31] Identity verification in a post-pandemic world
Prigge R.
Computer Fraud and Security, 2022, 2022 (01)
[32] Assessment and model of environmental literacy and analysis of verification
Chen, De-Quan
Lou, Cheng-Wu
Chen, D.-Q. (yfliu@eyou.com), 1600, Northeastern University (24): : 170 - 173
[33] PREPARATION AND VERIFICATION OF NUMERICAL CONTROL TAPES.
Gibson, T.J.
Sheet Metal Industries, 1978, 55 (04): : 449 - 450
[34] TOTAL VERIFICATION OF PRINTED CIRCUIT ARTWORK.
Ward, Manfred A.
Proceedings - Design Automation Conference, 1981, : 720 - 725
[35] Experimental verification of analytical model for high impedance surfaces
Luukkonen, O.
Alitalo, P.
Simovski, C. R.
Tretyakov, S. A.
ELECTRONICS LETTERS, 2009, 45 (14) : 720 - 721
[36] Epga verification in embedded video-processing systems
Chhaya, Hharshal
Patel, Tarak
EDN, 2009, 54 (14) : 17 - 19
[37] Prediction and verification analysis of water inflow for Daiyunshan tunnel
China Railway Siyuan Survey and Design Group Co. Ltd, Wuhan
Hubei
430063, China
J. Railw. Eng. Soc., 12 (70-75):
[38] Verification and reliability analysis of synchronizers in clock domain crossing
Fan, Yuyang
Deng, Zhi
Li, Zihang
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2022, 40 (02): : 369 - 376
[39] SYMBOLIC SIMULATION FOR FUNCTIONAL VERIFICATION WITH ADLIB AND SDL.
Cory, W.E.
Proceedings - Design Automation Conference, 1981, : 82 - 89
[40] SOFTWARE VERIFICATION AND VALIDATION FOR COMMAND AND CONTROL SYSTEMS.
Chandler, Alan R.
RCA Engineer, 1974, 19 (05): : 32 - 35

← 1 2 3 4 5 →