Approximating happens-before order: interplay between static analysis and state space traversal-Reference-Cited by-同舟云学术

Approximating happens-before order: interplay between static analysis and state space traversal

Published:2014-07-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
language:
Short-container-title:

Author:

Parízek Pavel¹,Jančík Pavel¹

Affiliation:

1. Charles University, Czech Republic

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2632362.2632365

Reference21 articles.

1. Efficient and precise datarace detection for multithreaded object-oriented programs

2. Concurrency Tool Comparison repository https://facwiki.cs.byu.edu/vv-lab/index. php/Concurrency_Tool_Comparison Concurrency Tool Comparison repository https://facwiki.cs.byu.edu/vv-lab/index. php/Concurrency_Tool_Comparison

3. M. Dwyer J. Hatcliff Robby and V. Ranganath. Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25 2004. 10.1023/B:FORM.0000040028.49845.67 M. Dwyer J. Hatcliff Robby and V. Ranganath. Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25 2004. 10.1023/B:FORM.0000040028.49845.67

4. FastTrack

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The usage of cybernetic in complex software systems and its application to the deterministic multithreading;Concurrency and Computation: Practice and Experience;2022-10-31

2. Downlink Signal-to-Interference Ratio and Spectral Efficiency of MIMO Cellular Networks Using Truncated Lognormal Approximation;IEEE Systems Journal;2019-03

3. Hybrid Analysis for Partial Order Reduction of Programs with Arrays;Lecture Notes in Computer Science;2015-12-25