SPARK SPADE high-integrity software development products annotated Ada subset supports developing software for uses where correct operation is vital for safety or business integrity versions based on Ada 83 95 Praxis Critical Systems Ltd

Visit website