Main WebResults from Main web retrieved at 15:19 (GMT)
Record of Overture NM25, 07 September 2008, 1300 CET Participants: Peter Gorm Larsen, JohnFitzgerald, Carlos Vilhena, Adriana Santos, Shin Sahara, MarcelVerhoef, Augusto ...
Overture Net Meetings All members of the Overture Community are welcome to join in the regular net meetings. These are held on the MSN Messenger network. To join a ...
The fifth Overture workshop Call for Participation 8th and 9th of November 2008, Braga, Portugal This workshop will be organised at the University of Minho in Braga ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
List of TWiki users Below is a list of users with accounts. If you want to edit topics or see protected areas of the site then you can get added to the list by registering ...
Overture Open source Tools for Formal Modelling This site provides information on the Overture Initiative: a community based project to develop next generation tools ...
Statistics for Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
Record of Overture NM25, 20 July 2008, 1300 CET Participants: Peter Gorm Larsen, JohnFitzgerald, Carlos Vilhena, Adriana Santos, Shin Sahara, MarcelVerhoef, Augusto ...
Record of Overture NM25, 20 April 2008, 1300 CET Participants: Peter Gorm Larsen, JohnFitzgerald, Carlos Vilhena, Adriana Santos, Shin Sahara, MarcelVerhoef, Augusto ...
The Fourth VDM Overture Workshop at FM'08 Call for Proposals and Participation 26th of May 2008, Turku, Finland The Vienna Development Method (VDM) is a well established ...
Overture Workshops Contributors to Overture hold informal one or two day workshops to review developments and report progress. We will announce new The Next Workshop ...
A Scanner/Parser for the Overture Toolset We implemented a scanner and parser for Overture using the open source JFLEX and BYACC/J tools respectively. Our choice for ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Record of Overture NM25, 20 April 2008, 1300 CET Participants: Peter Gorm Larsen, JohnFitzgerald, Carlos Vilhena, Adriana Santos, Hugo Macedo, Shin Sahara, MarcelVerhoef ...
Overture Projects for Students Background Overture is an open source project aimed at developing a comprehensive tool set for VDM on the Eclipse platform. It is ...
Record of Overture NM24, 16 March 2008, 1400 CET Participants: Peter Gorm Larsen, JohnFitzgerald, Carlos Vilhena, Adriana Santos, Hugo Macedo, Shin Sahara, MarcelVerhoef ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Usage description Although the implementation resulting from this project is not yet finished, with some additional manual steps it can already be used. Furthermore ...
Automated proof downloads VDM to HOL translator v0.2 (Change log) v0.1 (First release) Tactics The tactics that can be used to prove VDM proof obligations ...
Translator v0.2 Changelog Added support for the sequence enumeration (affects the !HolAst and the translator itself) Added support for token expressions ...
Record of Overture NM23, 20 January 2008, 1300 CET Participants: Peter Gorm Larsen, JohnFitzgerald, Carlos Vilhena, Adriana Santos, Hugo Macedo, Shin Sahara, MarcelVerhoef ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Automated proof support Just as any model or piece of software, VDM models can contain errors. We can distinguish two kinds of errors: those that can be found purely ...
Proof automation architecture This page will give a high level overview of the steps involved in automated proof. If not familiar with automated proof, some of the ...
Open issues Although the system may work for the case studies, it is not yet completed for main stream usage. This page shows a list of the known issues that prevent ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Type Checker for VDM Thesis Title : Extending the VDM formal specification language with type inference and generic classes Abstract This thesis is divided into ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Interpreter with Debugging Functionality for VDM The current objectives of this subproject are the development of a tool for debug VDM models. This tool will be ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Record of Overture NM21, 14 October 2007, 1300 CET Participants: Peter Gorm Larsen, Hugo Macedo, Shin Sahara, Emma Nicholls,Adriana Santos and Carlos Vilhena Review ...
Record of Overture NM19, 08 July 2007, 1300 CET Participants: Peter Gorm Larsen, Hugo Macedo, Shin Sahara, Marcel Verhoef, Sander Vermolen Review of Action List The ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Case Studies Below you can find the larger case studies that have been used in this project. They were used for development and testing purposes for both the translation ...
Record of Overture NM20, 26 August 2007, 1300 CET Participants: John Fitzgerald,Peter Gorm Larsen, Hugo Macedo, Shin Sahara, Emma Nicholls Review of Action List The ...
July/August 2007: Web pages with results of recent student projects are now available (later to be made available at SourceForge): TypeChecker for VDM InterpreterDebugger ...
Third Overture Workshop, 27 28 November 2006, Newcastle University, Newcastle upon Tyne, UK Background There was a lot of activity around tools and applications of ...
Record of Overture NM18, 20 May 2007, 1300 CET Participants: John Fitzgerald, Peter Gorm Larsen, Hugo Macedo, Shin Sahara, Marcel Verhoef Review of Action List The ...
Technical Reports and Publications External Publications Modeling and Validating Distributed Embedded Real Time Systems in VDM , Marcel Verhoef, Peter Gorm Larsen ...
Record of Overture NM16, 4 March 2007, 1200 CET Participants: John Fitzgerald, Peter Gorm Larsen, Hugo Macedo, Shin Sahara, Marcel Verhoef Review of Action List The ...
Record of Overture NM17, 14 April 2007, 1300 CET Participants: John Fitzgerald, Peter Gorm Larsen, Hugo Macedo, Shin Sahara, Marcel Verhoef, Sander Vermolen Review ...
Set ALLOWTOPICRENAME RickieBrown Set ALLOWTOPICCHANGE RickieBrown Set ALLOWWEBMANAGE RickieBrown Set ALLOWWEBCHANGE RickieBrown Set ALLOWWEBRENAME ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Account deleted. JohnFitzgerald 20 Feb 2007
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Record of Overture NM15, 4 February 2007, 1200 CET Participants: John Fitzgerald, Peter Gorm Larsen, Hugo Macedo, Shin Sahara, Marcel Verhoef, Sander Vermolen Review ...
My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ...
Second Overture Workshop, 21 August 2006, Hamilton, Ontario, Canada The second workshop was held as part of the FM'06 International Symposium on Formal Methods. The ...
Number of topics: 50
Log In
Main Web
Users
Groups
Index
Search
Changes
Notifications
Statistics
Preferences
Main |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback