Quasar: A new tool for concurrent Ada programs analysis

DOI10.1007/3-540-44947-7_12MaRDI QIDQ4435369zbMATH OpenFDO

Authors Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Publication date 1 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2655/26550168.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• A proof system for concurrent ADA programs
• scientific article; zbMATH DE number 3978353
• scientific article; zbMATH DE number 819766
• An algebraic approach to the static analysis of concurrent software
• A Proof System for Ada Tasks

Cited in

(3)

• Quasar
• An Ada binding to the IEEE 1003.1q (POSIX tracing) standard
• A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets

Describes a project that uses

Uses Software

• Bandera

This page was built for publication: Quasar: A new tool for concurrent Ada programs analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435369)