AVIACC

Analysis and Verification of Critical Concurrent Programs

50 Recent Changes in TWiki Web retrieved at 12:24 (GMT)

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 ...
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 ...
WebSideBar 19 May 2015 - 13:20 - r4 JorgeSousaPinto
Overview Home Project Proposal Team Research Team Job Opportunities Results Publications Tools Events First Project Meeeting ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
News 10 Jan 2013 - 14:59 - NEW JorgeSousaPinto
The first project meeting took place on December 18 2012, at FCUP.
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 ...
WebTopicList 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebSearchAdvanced 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebTopicCreator 15 Nov 2006 - 19:43 - r2 TWikiContributor
WebIndex 15 Nov 2006 - 19:43 - r4 TWikiContributor
WebSearch 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebChanges 15 Nov 2006 - 19:43 - r3 TWikiContributor
WebAtom 24 Jan 2006 - 06:07 - r2 TWikiContributor
TWiki's Research/Aviacc web
WebRss 28 Mar 2005 - 09:40 - r4 TWikiContributor
" else "TWiki's Research/Aviacc web"}% /Research/Aviacc
WebNotify 28 Mar 2005 - 09:40 - r5 TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration
WebLeftBar 28 Mar 2005 - 09:40 - r4 TWikiContributor
" warn "off"}%
Found 23 topics.

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

r3 - 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