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

来源：

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Formal verification

引用

页码：42 / 49

共 50 条

[31] Fun and games
Taaffe, Joanne
Total Telecom, 2007, (OCT.):
[32] Fun and Games
Baranowski, Tom
GAMES FOR HEALTH JOURNAL, 2015, 4 (06) : 421 - 422
[33] Fun and games
Loughlin, Clive
INDUSTRIAL ROBOT-THE INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH AND APPLICATION, 2009, 36 (02): : 112 - 112
[34] Fun and games
Phillips-Donaldson, D
QUALITY PROGRESS, 2001, 34 (08) : 6 - 6
[35] FUN AND GAMES
DOYLE, RM
RQ, 1968, 8 (01): : 19 - 20
[36] Just Fun and Games? A Sociological Consideration of Fun in Video Games
Crawford, Garry
Brock, Tom
GAMES AND CULTURE, 2024,
[37] Combining Verification with Probabilistic Forecasts for Decision Making
Charles, A.
Hudson, D.
Alves, O.
18TH WORLD IMACS CONGRESS AND MODSIM09 INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: INTERFACING MODELLING AND SIMULATION WITH MATHEMATICAL AND COMPUTATIONAL SCIENCES, 2009, : 4184 - 4190
[38] Towards better making a decision in speaker verification
Chen, Ke
2003, Elsevier Ltd (36)
[39] Making Software Verification Tools Really Work
Alglave, Jade
Donaldson, Alastair F.
Kroening, Daniel
Tautschnig, Michael
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 28 - 42
[40] Towards better making a decision in speaker verification
Chen, K
PATTERN RECOGNITION, 2003, 36 (02) : 329 - 346