TWiki's Research/Aviacc web The Research/Aviacc web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc Copyright 2020 by contributing authors 2016-01-04T18:00:54Z Publications http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Publications 2016-01-04T18:00:54Z 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 ... (last changed by JorgeSousaPinto) JorgeSousaPinto Tools http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Tools 2015-05-20T09:17:14Z Software Tools and Packages HSMTlib A Haskell library for easy interaction with multiple SMT solvers. Available through Hackage. SPARK parser A parser library for ... (last changed by JorgeSousaPinto) JorgeSousaPinto WebSideBar http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebSideBar 2015-05-19T13:20:29Z Overview Home Project Proposal Team Research Team Job Opportunities Results Publications Tools Events First Project Meeeting ... (last changed by JorgeSousaPinto) JorgeSousaPinto 2ndWorkshop http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/2ndWorkshop 2015-05-19T13:19:43Z AVIACC Second Meeting and Workshop Date September 16, 2013, 10:00 Place DCC FCUP, videoconference room Schedule 10h00 12h30: Scientific talks and discussion 14h30 ... (last changed by JorgeSousaPinto) JorgeSousaPinto 1stWorkshop http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/1stWorkshop 2015-05-19T13:19:33Z AVIACC First Project Meeting Date December 18, 2012, 10:00 Place DCC FCUP, videoconference room Schedule 10h00 11h30: Scientific talks and discussion 11h30 ... (last changed by JorgeSousaPinto) JorgeSousaPinto Jobs http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Jobs 2014-04-23T11:17:00Z BI Grant Announcements of a Bounded Model Checker for SPARK closed Abstraction for Critical Programs closed and tools for the analysis and verification ... (last changed by JorgeSousaPinto) JorgeSousaPinto Team http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Team 2014-04-23T11:07:22Z Senior Researchers Sabine Broda FCUP Daniela da Cruz UM Maria João Frade UM Nelma Moreira FCUP David Pereira IPP Luís Miguel ... (last changed by JorgeSousaPinto) JorgeSousaPinto WebHome http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebHome 2014-04-22T15:30:07Z Analysis and Verification of Critical Concurrent Programs The scope of the present project is the verification of properties of safety critical software. Our approach ... (last changed by JorgeSousaPinto) JorgeSousaPinto Description http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Description 2013-02-20T11:22:26Z Motivation In a brief comparison of software model checking with deductive verification techniques for the purpose of verifying concurrent software, we stress the ... (last changed by JorgeSousaPinto) JorgeSousaPinto ProjectSummary http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/ProjectSummary 2013-02-18T18:51:40Z Project Summary The formal verification of software is increasingly important in software engineering, particularly in the context of critical applications, which ... (last changed by JorgeSousaPinto) JorgeSousaPinto WebPreferences http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebPreferences 2013-02-18T17:30:17Z Research/Aviacc Web Preferences The following settings are web preferences of the Research/Aviacc web. These preferences overwrite the site level preferences ... (last changed by JorgeSousaPinto) JorgeSousaPinto News http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/News 2013-01-10T14:59:52Z The first project meeting took place on December 18 2012, at FCUP. (last changed by JorgeSousaPinto) JorgeSousaPinto WebStatistics http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebStatistics 2012-12-20T06:57:54Z Statistics for Research/Aviacc Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest) TWikiGuest WebTopicList http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebTopicList 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebSearchAdvanced http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebSearchAdvanced 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor WebTopicCreator http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebTopicCreator 2006-11-15T19:43:52Z (last changed by TWikiContributor) TWikiContributor