Analysis and Verification of Critical Concurrent Programs

Search: ^p

Research/Aviacc Web Changed Changed by
ProjectSummary 18 Feb 2013 - 18:51 - NEW JorgeSousaPinto
Project Summary The formal verification of software is increasingly important in software engineering, particularly in the context of critical applications, which ...
Publications 04 Jan 2016 - 18:00 - r15 JorgeSousaPinto
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 ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM