Automatic Veri.cation of Concurrent Ada Programs-Reference-Cited by-同舟云学术

Automatic Veri.cation of Concurrent Ada Programs

Published:1999 Issue: Volume: Page:146-157
ISSN:0302-9743
Container-title:Reliable Software Technologies — Ada-Europe’ 99
language:
Short-container-title:

Author:

Bruneton Eric,Pradat-Peyre Jean-François

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48753-0_13

Reference10 articles.

1. Lect Notes Comput Sci;G. Berthelot,1986

2. F. Breant, S. Haddad, and J.F. Pradat-Peyre. Characterizing new reductions by means of language and invariant properties. Technical Report 97-04, Conservatoire National des Arts et Métiers, laboratoire Cedric, 1997.

3. Lect Notes Comput Sci;S. Haddad,1991

4. D. Helmbold and D. Luckham. Debugging Ada-tasking programs. IEEE Transactions on Software Engineering, Vol. 2(No. 2):45–57, 1985.

5. C. Kaiser and J.F. Pradat-Peyre. Comparing the reliability provided by tasks or protected objects for implementing a resource allocation service: a case study. In TriAda, St Louis, Missouri, november 1997. ACM SIGAda.

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

1. A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets;Lecture Notes in Computer Science;2007

2. Quasar: A New Tool for Concurrent Ada Programs Analysis;Lecture Notes in Computer Science;2003

3. Analysis of Multithreaded Programs;Static Analysis;2001

4. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs;Reliable Software Technologies Ada-Europe 2000;2000

5. Integration of Formal Verification and Debugging Methods in P-GRADE Environment;The International Series in Engineering and Computer Science