http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc The Research/Aviacc web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Publications 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) 2016-01-04T18:00:54Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Tools 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) 2015-05-20T09:17:14Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebSideBar Overview Home Project Proposal Team Research Team Job Opportunities Results Publications Tools Events First Project Meeeting ... (last changed by JorgeSousaPinto) 2015-05-19T13:20:29Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/2ndWorkshop 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) 2015-05-19T13:19:43Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/1stWorkshop 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) 2015-05-19T13:19:33Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Jobs 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) 2014-04-23T11:17:00Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Team 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) 2014-04-23T11:07:22Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebHome 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) 2014-04-22T15:30:07Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/Description 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) 2013-02-20T11:22:26Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/ProjectSummary 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) 2013-02-18T18:51:40Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebPreferences 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) 2013-02-18T17:30:17Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/News The first project meeting took place on December 18 2012, at FCUP. (last changed by JorgeSousaPinto) 2013-01-10T14:59:52Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebSearchAdvanced (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebTopicCreator (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebIndex (last changed by TWikiContributor) 2006-11-15T19:43:52Z TWikiContributor