AVIACC

Analysis and Verification of Critical Concurrent Programs
Research/Aviacc Web Changed Changed by
1stWorkshop 19 May 2015 - 13:19 - r3 JorgeSousaPinto
AVIACC First Project Meeting Date December 18, 2012, 10:00 Place DCC FCUP, videoconference room Schedule 10h00 11h30: Scientific talks and discussion 11h30 ...
2ndWorkshop 19 May 2015 - 13:19 - r2 JorgeSousaPinto
AVIACC Second Meeting and Workshop Date September 16, 2013, 10:00 Place DCC FCUP, videoconference room Schedule 10h00 12h30: Scientific talks and discussion 14h30 ...
Description 20 Feb 2013 - 11:22 - r2 JorgeSousaPinto
Motivation In a brief comparison of software model checking with deductive verification techniques for the purpose of verifying concurrent software, we stress the ...
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 ...
News 10 Jan 2013 - 14:59 - NEW JorgeSousaPinto
The first project meeting took place on December 18 2012, at FCUP.
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 ...
Team 23 Apr 2014 - 11:07 - r3 JorgeSousaPinto
Senior Researchers Sabine Broda FCUP Daniela da Cruz UM Maria João Frade UM Nelma Moreira FCUP David Pereira IPP Luís Miguel ...
Tools 20 May 2015 - 09:17 - r5 JorgeSousaPinto
Software Tools and Packages HSMTlib A Haskell library for easy interaction with multiple SMT solvers. Available through Hackage. SPARK parser A parser library for ...
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/Aviacc web
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebHome 22 Apr 2014 - 15:30 - r10 JorgeSousaPinto
Analysis and Verification of Critical Concurrent Programs The scope of the present project is the verification of properties of safety critical software. Our approach ...
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebLeftBar 28 Mar 2005 - 09:40 - r4 TWikiContributor
" warn "off"}%
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
WebPreferences 18 Feb 2013 - 17:30 - r14 JorgeSousaPinto
Research/Aviacc Web Preferences The following settings are web preferences of the Research/Aviacc web. These preferences overwrite the site level preferences ...
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Research/Aviacc web"}% /Research/Aviacc
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSideBar 19 May 2015 - 13:20 - r4 JorgeSousaPinto
Overview Home Project Proposal Team Research Team Job Opportunities Results Publications Tools Events First Project Meeeting ...
WebStatistics 20 Dec 2012 - 06:57 - r148 TWikiGuest
Statistics for Research/Aviacc Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ...
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
Found 23 topics.

See also the faster WebTopicList

r4 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM