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 条
  • [21] Consistency Verification of Learner Profiles in Adaptive Serious Games
    Hussaan, Aarij Mahmood
    Sehaba, Karim
    ADAPTIVE AND ADAPTABLE LEARNING, EC-TEL 2016, 2016, 9891 : 384 - 389
  • [22] Fun and games
    Ackerley, Bethan
    NEW SCIENTIST, 2024, 247 (3503) : 30 - 30
  • [23] Quantitative Verification of Zeroconf Protocol Based on Stochastic Games
    Guo, Xu
    Guo, Xu
    2018 10TH INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS (ICCSN), 2018, : 417 - 421
  • [24] Characterization, verification and generation of strategies in games with resource constraints
    Liu, Chanjuan
    Zhu, Enqiang
    Zhang, Yuanke
    Zhang, Qiang
    Wei, Xiaopeng
    AUTOMATICA, 2022, 140
  • [25] STEVE: A Rational Verification Tool for Stackelberg Security Games
    Phetmanee, Surasak
    Sevegnani, Michele
    Andrei, Oana
    INTEGRATED FORMAL METHODS, IFM 2024, 2025, 15234 : 267 - 275
  • [26] Verification and Dynamics of Group-Based Potential Games
    Li, Changxi
    He, Fenghua
    Liu, Ting
    Cheng, Daizhan
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2019, 6 (01): : 215 - 224
  • [27] A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
    Toumi, Alexis
    Gutierrez, Julian
    Wooldridge, Michael
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 583 - 594
  • [28] Fun & games
    Tatge, M
    FORBES, 2004, 173 (01): : 138 - +
  • [29] FUN AND GAMES
    Stasio, Marilyn
    NEW YORK TIMES BOOK REVIEW, 2011, : 15 - 15
  • [30] Fun with Games
    Spirakis, Paul G.
    Chatzigiannakis, Ioannis
    Mylonas, Georgios
    Panagopoulou, Panagiota N.
    FUN WITH ALGORITHMS, PROCEEDINGS, 2010, 6099 : 4 - 15
12345