Currently submitted André de Matos Pedro, David Pereira, Luís Miguel Pinho, and Jorge Sousa Pinto. Monitoring for a decidable fragment of MTL #1113091;S. Submitted ...
Software Tools and Packages HSMTlib A Haskell library for easy interaction with multiple SMT solvers. Available through Hackage. SPARK parser A parser library for ...
AVIACC Second Meeting and Workshop Date September 16, 2013, 10:00 Place DCC FCUP, videoconference room Schedule 10h00 12h30: Scientific talks and discussion 14h30 ...
AVIACC First Project Meeting Date December 18, 2012, 10:00 Place DCC FCUP, videoconference room Schedule 10h00 11h30: Scientific talks and discussion 11h30 ...
BI Grant Announcements of a Bounded Model Checker for SPARK closed Abstraction for Critical Programs closed and tools for the analysis and verification ...
Analysis and Verification of Critical Concurrent Programs The scope of the present project is the verification of properties of safety critical software. Our approach ...
Motivation In a brief comparison of software model checking with deductive verification techniques for the purpose of verifying concurrent software, we stress the ...
Project Summary The formal verification of software is increasingly important in software engineering, particularly in the context of critical applications, which ...
Research/Aviacc Web Preferences The following settings are web preferences of the Research/Aviacc web. These preferences overwrite the site level preferences ...