Model checking programs with Java']Java PathFinder

被引：0
|
作者：
Visser, W [1 ]
Mehlitz, P
机构：
[1] NASA, Ames Res Ctr, RIACS, Moffett Field, CA 94035 USA
[2] NASA, Ames Res Ctr, CSC, Moffett Field, CA 94035 USA
来源：
MODEL CHECKING SOFTWARE, PROCEEDINGS | 2005年 / 3639卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：27 / 27
页数：1
相关论文
共 50 条
  • [1] Model checking JAVA programs using JAVA PathFinder
    Havelund K.
    Pressburger T.
    International Journal on Software Tools for Technology Transfer, 2000, 2 (4) : 366 - 381
  • [2] Model checking real time Java']Java using Java']Java PathFinder
    Lindstrom, G
    Mehlitz, PC
    Visser, W
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 444 - 456
  • [3] Software model checking for Internet Protocols with Java']Java Pathfinder
    Martinez, Jesss
    Jimenez, Cristobal
    MSVVEIS 2008: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2008, : 91 - 100
  • [4] Towards Model Checking of Computer Games with Java']Java PathFinder
    Shafiei, Nastaran
    van Breugel, Franck
    2013 3RD INTERNATIONAL WORKSHOP ON GAMES AND SOFTWARE ENGINEERING: ENGINEERING COMPUTER GAMES TO ENABLE POSITIVE, PROGRESSIVE CHANGE (GAS), 2013, : 15 - 21
  • [5] Model checking real time Java using Java PathFinder
    Lindstrom, Gary
    Mehlitz, Peter C.
    Visser, Willem
    Lect. Notes Comput. Sci., (444-456):
  • [6] Heuristic model checking for Java']Java programs
    Groce, A
    Visser, W
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 242 - 245
  • [7] Model checking randomized algorithms with Java PathFinder
    DisCoVeri Group, Department of Computer Science and Engineering, York University, Toronto, Canada
    Proc. - Int. Conf. Quant. Eval. Syst., QEST, (157-158):
  • [8] A JPSL Based Model Checking Approach for Java']Java Programs
    Shu, XinFeng
    Li, YanLin
    Gao, WeiRan
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2022, 2023, 13854 : 30 - 49
  • [9] Heuristics for model checking Java programs
    Groce A.
    Visser W.
    International Journal on Software Tools for Technology Transfer, 2004, 6 (04) : 260 - 276
  • [10] Model checking of software components: Combining Java']Java PathFinder and behavior protocol model checker
    Parizek, Pavel
    Plasil, Frantisek
    Kofron, Jan
    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 133 - +
12345