Dynamic verification for hybrid concurrent programming models

被引：0
|
作者：
Mutlu, Erdal [1 ]
Gajinov, Vladimir [2 ]
Cristal, Adrián [2 ,3 ]
Tasiran, Serdar [1 ]
Unsal, Osman S. [2 ]
机构：
[1] Koc University, Turkey
[2] Barcelona Supercomputing Center, Spain
[3] IIIA, CSIC, Spanish National Research Council, Spain
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8734卷
关键词：
D O I：
10.1007/978-3-319-11164-3_13
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：156 / 161
相关论文
共 50 条
  • [1] Dynamic Verification for Hybrid Concurrent Programming Models
    Mutlu, Erdal
    Gajinov, Vladimir
    Cristal, Adrian
    Tasiran, Serdar
    Unsal, Osman S.
    [J]. RUNTIME VERIFICATION, RV 2014, 2014, 8734 : 156 - 161
  • [2] Using hybrid concurrent constraint programming to model dynamic biological systems
    Bockmayr, A
    Courtois, A
    [J]. LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 85 - 99
  • [3] Models for concurrent constraint programming
    Gupta, Vineet
    Jagadeesan, Radha
    Saraswat, Vijay
    [J]. Lecture Notes in Computer Science, 1996, 1119
  • [4] Highly dependable concurrent programming using design for verification
    Betin-Can, Aysu
    Bultan, Tevfik
    [J]. FORMAL ASPECTS OF COMPUTING, 2007, 19 (02) : 243 - 268
  • [5] The Effect of Concurrent Programming Idioms on Verification A Position Paper
    Harel, David
    Katz, Guy
    Marron, Assaf
    Weiss, Gera
    [J]. MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 363 - 369
  • [6] Verification in concurrent programming with Petri nets structural techniques
    Barkaoui, K
    Pradat-Peyre, JF
    [J]. THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 1998, : 124 - 133
  • [7] Dynamic Spaces in Concurrent Constraint Programming
    Olarte, Carlos
    Nigam, Vivek
    Pimentel, Elaine
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 305 : 103 - 121
  • [8] Hybrid dynamic programming
    Kohn, W
    Remmel, JB
    [J]. HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 391 - 396
  • [9] A dynamic logic for deductive verification of concurrent programs
    Beckert, Bernhard
    Klebanov, Vladimir
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 141 - +
  • [10] Use Concurrent Programming Models to Motivate Teaching of Programming Languages
    Leavens, Gary T.
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (11) : 93 - 98
12345