50 Recent Changes in TWiki Web retrieved at 20:12 (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"}% | ||
Number of topics: 23 See also:
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes