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 条
  • [41] MAKING LEARNING FUN: MULTI-ADAPTIVE EDUCATIONAL COMPUTER GAMES
    Kickmeier-Rust, Michael D.
    Orvieto, Ivan
    Albert, Dietrich
    EDULEARN10: INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2010, : 697 - 703
  • [42] Lifestyle ubiquitous gaming: Computer games making daily lives fun
    Tokunaga, Eiji
    Ayabe, Masaaki
    Kimura, Hiroaki
    Nakajima, Tatsuo
    SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2007, 4761 : 202 - 212
  • [43] Verification of the γ-Reθt Transition Model in OVERFLOW and FUN3D
    Venkatachari, Balaji Shankar
    Mysore, Preethi V.
    Hildebrand, Nathaniel
    Choudhari, Meelan M.
    Denison, Marie F.
    JOURNAL OF AIRCRAFT, 2024, 61 (02): : 345 - 364
  • [44] Non-visual gameplay: Making board games easy and fun
    Evreinova, Tatiana V.
    Evreinov, Grigori
    Raisamo, Roope
    COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, 2008, 5105 : 561 - 568
  • [45] Games, automata, logics and formal verification (GandALF 2016) Preface
    Cantone, Domenico
    Delzanno, Giorgio
    INFORMATION AND COMPUTATION, 2018, 262 : 187 - 188
  • [46] Multi-player Equilibria Verification for Concurrent Stochastic Games
    Kwiatkowska, Marta
    Norman, Gethin
    Parker, David
    Santos, Gabriel
    QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2020), 2020, 12289 : 74 - 95
  • [47] Games, Automata, Logics, and Formal Verification (GandALF 2013) Preface
    Montanari, Angelo
    Puppis, Gabriele
    Villa, Tiziano
    INFORMATION AND COMPUTATION, 2015, 245 : 1 - 2
  • [48] Server-Side Verification of Client Behavior in Online Games
    Bethea, Darrell
    Cochran, Robert A.
    Reiter, Michael K.
    ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2011, 14 (04) : 1 - 27
  • [49] Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface
    Peron, Adriano
    Piazza, Carla
    INFORMATION AND COMPUTATION, 2017, 253 : 179 - 180
  • [50] Games, Automata, Logic, and Formal Verification (GandALF 2011) Preface
    D'Agostino, Giovanna
    La Torre, Salvatore
    THEORETICAL COMPUTER SCIENCE, 2013, 493 : 1 - 1
12345