Verifying General Safety Properties of Ada Tasking Programs
IEEE Transactions on Software Engineering
Using symbolic execution for verification of Ada tasking programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis of timing hazards in Ada programs
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Real-time programming and asynchronous message passing
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A complete axiomatic semantics of spawning
Distributed Computing
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
| Hi-index | 0.00 |