Website Search
Find information on spaces, staff, and services.
Catalog Search
Videos, Slides, Films
ASIS vs. Libadalang : a comparative assessment
- Author / Creator
- Conferences
- AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies Technical Session 5: Validation and verification tools (2021)
- Available as
- Online
- Summary
-
This paper compares the origins, features, and status of two different tools intended to facilitate static analysis of Ada programs: ASIS and LibAdalang. It stresses the differences in principles, ...
This paper compares the origins, features, and status of two different tools intended to facilitate static analysis of Ada programs: ASIS and LibAdalang. It stresses the differences in principles, features,and intended usages, and shows use cases where each is more appropriate.
Details
- Creator
- Jean-Pierre Rosen
- Format
- Videos, Slides, Films
- Language
- English
- Contributors
- Publication
-
- New York, N.Y. : Underline, 2021
- Physical Details
-
- 1 online resource
- digital
- video file MPEG-4 Flash
- Event name: AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies.
- Event session: Technical Session 5: Validation and verification tools.
- "Paper Number: TS5-2a".
- Originally produced by Jean-Pierre Rosen in 2021.
- Event name: AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies ; Event session: Technical Session 5: Validation and verification tools, held on (June 08, 2021 14:10).
- System requirements: Adobe Flash Player.
- In English.