Design and implementation of a Petri net based toolkit for Ada tasking analysis
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Parallel and Distributed Systems
- Vol. 1 (4), 424-441
- https://doi.org/10.1109/71.80172
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Checking properties of nets using transformationsPublished by Springer Science and Business Media LLC ,2005
- Toward automating analysis support for developers of distributed softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Applying Petri net reduction to support Ada-tasking deadlock detectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Detection of Ada static deadlocks using Petri net invariantsIEEE Transactions on Software Engineering, 1989
- A petri net framework for automated static analysis of Ada tasking behaviorJournal of Systems and Software, 1988
- Towards complexity metrics for Ada taskingIEEE Transactions on Software Engineering, 1988
- Describing and analyzing distributed software system designsACM Transactions on Programming Languages and Systems, 1985
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- A method of sharing industrial software complexity dataACM SIGPLAN Notices, 1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983