Static Detection of Livelocks in Ada Multitasking Programs.
Johann BliebergerBernd BurgstallerRobert MittermayrPublished in: Ada-Europe (2007)
Keyphrases
- automatic detection
- detection method
- automated detection
- detection accuracy
- anomaly detection
- object detection
- real time
- detection algorithm
- information systems
- information retrieval
- case study
- website
- computer vision
- false positives
- data mining
- partial occlusion
- answer sets
- databases
- computer programs
- database
- automatic programming