Detection of Ada static deadlocks using Petri net invariants
- 1 March 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (3) , 314-326
- https://doi.org/10.1109/32.21759
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A petri net framework for automated static analysis of Ada tasking behaviorJournal of Systems and Software, 1988
- Modeling the Ada task system by Petri netsComputer Languages, 1985
- Steps to an Advanced Ada1Programming EnvironmentIEEE Transactions on Software Engineering, 1985
- Monitoring for Deadlock and Blocking in Ada TaskingIEEE Transactions on Software Engineering, 1984
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri NetInformatik-Fachberichte, 1982