Constructing compact models of concurrent Java programs

被引：0
|
作者：
Department of Information and Computer Science, University of Hawai'i, Honolulu [1 ]
HI
96822, United States
机构：
来源：
Proc. ACM SIGSOFT Int. Symp. Softw. Test. Anal., ISSTA | 1600年 / 1-10期
关键词：
All Open Access; Bronze;
D O I：
1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
相关论文
共 50 条
  • [41] Behavior investigation of concurrent Java']Java programs: an approach based on source-code instrumentation
    Bechini, A
    Prete, CA
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2001, 18 (02): : 307 - 316
  • [42] Concurrent Java']Java
    Agha, GA
    IEEE CONCURRENCY, 1997, 5 (04): : 2 - 3
  • [43] Safety-critical Java']Java programs from Circus models
    Cavalcanti, Ana
    Zeyda, Frank
    Wellings, Andy
    Woodcock, Jim
    Wei, Kun
    REAL-TIME SYSTEMS, 2013, 49 (05) : 614 - 667
  • [44] From Safety Critical Java']Java Programs to Timed Process Models
    Thomsen, Bent
    Luckow, Kasper Soe
    Leth, Lone
    Bogholm, Thomas
    PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY: ESSAYS DEDICATED TO PIERPAOLO DEGANO ON THE OCCASION OF HIS 65TH BIRTHDAY, 2015, 9465 : 319 - 338
  • [45] Verifying safety properties of concurrent Java']Java programs using 3-valued logic
    Yahav, E
    ACM SIGPLAN NOTICES, 2001, 36 (03) : 27 - 40
  • [46] Compact and efficiently verifiable models for concurrent systems
    Hernán Ponce de León
    Andrey Mokhov
    Formal Methods in System Design, 2018, 53 : 407 - 431
  • [47] Compact and efficiently verifiable models for concurrent systems
    de Leon, Hernan Ponce
    Mokhov, Andrey
    FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (03) : 407 - 431
  • [48] Graph models for reachability analysis of concurrent programs
    Politecnico di Milano, Milan, Italy
    ACM Trans Software Eng Methodol, 2 (171-213):
  • [49] Verification of Concurrent Programs on Weak Memory Models
    Travkin, Oleg
    Wehrheim, Heike
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 3 - 24
  • [50] PETRI NET MODELS OF CONCURRENT ADA PROGRAMS
    STANSIFER, R
    MARINESCU, D
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 577 - 594
12345