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] Empirical Verification of Adjacency Pairs Using Dialogue Segmentation
    Daniel Midgley, T.
    Harrison, Shelly
    MacNish, Cara
    SIGDIAL - SIGdial Workshop Discourse Dialogue, Proc., 1600, (104-108):
  • [42] Verification of snapshot isolation in transactional memory java programs
    Dias, Ricardo J.
    Distefano, Dino
    Seco, João Costa
    Lourenço, João M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7313 LNCS : 640 - 664
  • [43] VERIFICATION OF TIMING CONSTRAINTS ON LARGE DIGITAL SYSTEMS.
    McWilliams, Thomas M.
    Jahrbuch der Schiffbautechnischen Gesellschaft, 1980, : 139 - 147
  • [44] CIRCUIT RECOGNITION AND VERIFICATION BASED ON LAYOUT INFORMATION.
    Ablasser, I.
    Jaeger, U.
    Proceedings - Design Automation Conference, 1981, : 684 - 689
  • [45] Verification of stack manipulation in the Scalable Configurable Instrument processor
    Aaron Pendergrass, J. (aaron.pendergrass@jhuapl.edu), 2013, John Hopkins University (32):
  • [46] DAM-BREAK WAVE MODEL: FORMULATION AND VERIFICATION
    Chen, Cheng-lung
    Armbruster, Jeffrey T.
    1980, 106 (05): : 747 - 767
  • [47] Performance characterisation and verification of JavaSpaces based on design of experiments
    Hancke, Frederic
    Dhaene, Tom
    Broeckhove, Jan
    Proc. IEEE Comput. Soc. Annu. Int. Symp. Model. Anal. simul. Comput. Telecommun. Syst. MASCOTS, (553-559):
  • [48] Verification of the Cracking of Prefabricated Structures Assembled by Prestress.
    Favre, Renaud
    Rojas, Johnny
    Vaucher, Andre
    Annales de l'Institut Technique du Batiment et des Travaux Publics, 1979, (371): : 53 - 66
  • [49] Various implementations of advanced dynamic signature verification system
    Kim, Jin Whan
    Advances in Intelligent and Soft Computing, 2012, 166 AISC (VOL. 1): : 203 - 210
  • [50] Kinetic model of NOx ozonation and its experimental verification
    Skalska, Kinga
    Miller, Jacek S.
    Ledakowicz, Stanislaw
    Chemical Engineering Science, 2012, 66 (14): : 3386 - 3391
12345