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] Compiler verification for fun and profit
    Leroy, Xavier
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 9 - 9
  • [2] LEARNER VERIFICATION OF READING GAMES
    SNYDER, GV
    READING TEACHER, 1981, 34 (06): : 686 - 691
  • [3] TREATY MAKING AND VERIFICATION
    BUCHHEIM, RW
    IEEE SPECTRUM, 1982, 19 (10) : 105 - 108
  • [4] Making verification easier
    不详
    COMPUTER DESIGN, 1998, 37 (01): : 68 - 68
  • [5] Verification of Games in the Game Description Language
    Ruan, Ji
    Van Der Hoek, Wiebe
    Wooldridge, Michael
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1127 - 1156
  • [6] SEMANTICAL GAMES, VERIFICATION PROCEDURES, AND WELLFORMEDNESS
    HAND, M
    PHILOSOPHICAL STUDIES, 1987, 51 (02) : 271 - 284
  • [7] Automated Verification of Concurrent Stochastic Games
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    Santos, Gabriel
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2018, 2018, 11024 : 223 - 239
  • [8] Contract design and costly verification games
    Choe, C
    JOURNAL OF ECONOMIC BEHAVIOR & ORGANIZATION, 1998, 34 (02) : 327 - 340
  • [9] GENDER VERIFICATION AND THE NEXT OLYMPIC GAMES
    DINGEON, B
    JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1993, 269 (03): : 357 - 357
  • [10] Iterated Boolean Games for Rational Verification
    Gao, Tong
    Gutierrez, Julian
    Wooldridge, Michael
    AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 705 - 713
12345