AVIACC

Analysis and Verification of Critical Concurrent Programs

Search: ^j

Research/Aviacc Web Changed Changed by
Jobs 23 Apr 2014 - 11:17 - r3 JorgeSousaPinto
BI Grant Announcements of a Bounded Model Checker for SPARK closed Abstraction for Critical Programs closed and tools for the analysis and verification ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM