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] Center fragments for upscaling and verification in database semantics
    Hausser, Roland
    Frontiers in Artificial Intelligence and Applications, 2009, 190 (01) : 22 - 44
  • [22] Experimental verification of an absorption chiller for BCHP applications
    Patnaik, Vikas
    2004 Winter Meeting - Technical and Symposium Papers, American Society of Heating, Refrigerating and Air-Conditioning Engineers, 2004, : 489 - 493
  • [23] Concept verification of the JASMINE astrometric plate analysis
    JASMINE project, National Astronomical Observatory of Japan, Japan
    不详
    不详
    不详
    不详
    不详
    181-8588, Japan
    Proc SPIE Int Soc Opt Eng,
  • [24] Mathematical Modeling and Experimental Verification of the Proneural Wave
    Tanaka, Yoshitaro
    Yasugi, Tetsuo
    Springer Proceedings in Mathematics and Statistics, 2021, 370 : 50 - 68
  • [25] Verification program of BWR 9 × 9 fuel
    Miyashita, Toshiyasu
    Nakae, Nobuo
    Ogata, Keizo
    Baba, Toshikazu
    Kamimura, Katsuichiro
    Matsuoka, Hitoshi
    Kakiuchi, Kazuo
    Transactions of the Atomic Energy Society of Japan, 2008, 7 (04): : 380 - 395
  • [26] SYSTEM FOR ANALYSIS AND VERIFICATION OF SOFTWARE DESIGN.
    Hammond, Linda S.
    Murphy, Daniel L.
    Smith, Mark K.
    1978, : 42 - 47
  • [27] Runtime Verification on Abstracted Finite State Models
    Jevitha, K.P.
    Jayaraman, Bharat
    Sethumadhavan, M.
    SSRN, 2022,
  • [28] Verification and analysis of autonomic systems for networked enterprises
    Bertolino, Antonia
    De Angelis, Guglielmo
    Di Giandomenico, Felicita
    Marchetti, Eda
    Sabetta, Antonino
    Spoletini, Paola
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7200 LNCS : 143 - 169
  • [29] ASSET: A LIFECYCLE VERIFICATION AND VISIBILITY SYSTEM.
    Osterweil, Leon J.
    Brown, John R.
    Stucki, Leon G.
    1978, : 30 - 35
  • [30] Method of thermocouples self verification on operation place
    Shu, Chang
    Kochan, Orest
    Sensors and Transducers, 2013, 160 (12) : 55 - 61
12345