Publication | Closed Access

A petri net framework for automated static analysis of Ada tasking behavior

Petri NetEngineeringPetri Net FrameworkProgram AnalysisObject-oriented ModelingSoftware TestingAutomationStatic AnalysisStochastic Petri NetSystems EngineeringSoftware EngineeringObject-oriented ProgrammingComputer ScienceIntelligent SystemsStatic Program AnalysisSoftware AnalysisSystem SoftwareSoftware Design