Using state space reduction methods for deadlock analysis in Ada tasking

This publication has 18 references indexed in Scilit:

• Checking properties of nets using transformations
  Published by Springer Nature ,2005
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Formal Methods in System Design, 1993
• Automated analysis of concurrent systems with the constrained expression toolset
  IEEE Transactions on Software Engineering, 1991
• Compositional reachability analysis using process algebra
  Published by Association for Computing Machinery (ACM) ,1991
• Design and implementation of a Petri net based toolkit for Ada tasking analysis
  IEEE Transactions on Parallel and Distributed Systems, 1990
• Starvation and critical race analyzers for Ada
  IEEE Transactions on Software Engineering, 1990
• Integrated concurrency analysis in a software development enviornment
  ACM SIGSOFT Software Engineering Notes, 1989
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Detection of Ada static deadlocks using Petri net invariants
  IEEE Transactions on Software Engineering, 1989
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983