The following components are under active development at the moment. The BML (Bytecode Modeling Language) Library Main.JosephKiniry 27 Jun 2006

What follows is not a complete list of activities, but gives you a good idea as to what has been going on. Since then I/we (Joe UCD) have been: coordinating with Mobius ...

-- Main.MariekeHuisman 03 Jul 2006 BML Specific Task Force Members Mariela Pavlova (INRIA) Marieke Huisman (INRIA) Robin Green (UCD) Erik Poll (RU) Jacek Chrz #261 ...

Mobius Bytecode Subsystem Overview Authors: Joseph Kiniry Version: 1 March 2006 Revision History 1 March 2006 Initial outline. Related Documents MobiusToolProjectOverview ...

Worked on an Eclipse user interface for multiple provers. Its gforge site We began the work on the PVS part. It is due to be finished soon (as by the 24th of july ...

Checkstyle is a program that checks the programming style against a set of user-configured programming guidelines. Checkstyle is supported within Eclipse by the CheckClipse ...

Here is a recapitulation of where are the components and what they do. Name What? Which repository? VerificationConditionAst BytecodeAnnotationAst BytecodeViewer BytecodeEditor ...

Subsystems Under Development BytecodeSubsystem SourcecodeSubsystem JmlSubsystem ExtendedStaticCheckerSubsystem AutomatedProverSubsystem InteractiveProverSubsystem ...

Many Mobius partners work closely with non-Mobius partners on tool development projects. We must coordinate these efforts to ensure maximum utilization of development ...

The Mobius Development Schedule is summarised here. I'll be putting in a calendar of the schedule here soon. Main.JosephKiniry 21 Jun 2006

Coding Standards Mobius tool developer uses source, documentation, and specification coding standards. Such a standard should be described in plain English in a coding ...

Download The Mobius PVE can be downloaded as an Eclipse plugin at http://kind.ucd.ie/products/opensource/Mobius. See also: https://mobius.ucd.ie/wiki/ProgramVerificationEnvironment ...

Project Overviews TBD. Purpose and Intention TBD. Realization TBD. Maintenance TBD. Template Overview Here are templates that you can use to write new overviews in ...

The FindBugs tool statically analyses Java source code for common Java programming errors. The FindBugs Eclipse plugin is included, preconfigured, in the Mobius PVE ...

The GForge has been rewritten as the GForge AS (Advanced Server). Accompanying GForge AS is an Eclipse plugin that provides integrated task and feature tracking from ...

JavaNCSS is a subsystem that performs static code analysis of Java software, computing standard metrics such as: NCSS (Non-Commenting Source Statements) CCN (Cyclomatic ...

Arranged in Reversed Temporal Order Mobius Program Verification Environment releases 1 October 2006 2006 Yearly Meeting Summary April 2006 Tool Summary

Mobius Bytecode Subsystem Overview Authors: Joseph Kiniry Version: 1 March 2006 Revision History 1 March 2006 Initial outline. Related Documents MobiusToolProjectOverview ...

ToolUpdates Main.JosephKiniry 18 Apr 2006

Eclipse Mylar is a task-focused UI that reduces information overload and makes multi-tasking easy. Mylar does this by making tasks a first class part of Eclipse, and ...

PMD is a static code analyzer that scans Java source code and looks for potential problems like: possible bugs empty try/catch/finally/switch statements dead code ...

Currently Task 3.6 (Mobius Program Verification Environment) participants are currently performing the following top-level subtasks: ReviewingExistingTechnologies ...

Recent Release Updates 1 October 2006 The initial, Mobius partner-internal releases of several subsystems and components of the Mobius Program Verification Environment ...

The following tools are used for Mobius tool development. Each of the following pages gives you information about each tools' use in the Mobius project. Integrated ...

Several existing systems, either developed by non-Mobius partners, or older systems developed by Mobius partners but not in the core focus of Mobius, are under review ...

Tool Site Visits in Reverse Chronological Order Joseph Kiniry, Mikolas Janota, and Radu Grigore are visiting MIT in Summer/Fall 2006 Joseph Kiniry, Robin Green, and ...

The following tools are used for Mobius tool development. Each of the following pages gives you information about each tools' use in the Mobius project. Subversion ...

Subversion is used as the version control system for Mobius development. Here are some important subversion resources: The main Subversion homepage psvn.el provides ...

Subclipse is a subversion plugin for Eclipse. Subclipse is installed and preconfigured in the Mobius PVE. In the Mobius developer release the Mobius subversion repository ...

What follows is not a complete list of activities, but gives you a good idea as to what has been going on. Since then I/we (Joe UCD) have been: coordinating with Mobius ...

Partner Tool Development Contacts Each Mobius partner has a primary contact for tool development. INRIA France TLS Technologies Poland ETH Zurich Switzerland Radboud ...

Here are my detailed meeting notes: Madrid Meeting: Wed 21 June 2006 Randy: do we want full integration of the prover in the environment? Joe Julien: for first deliverable ...

Here are my detailed meeting notes: Thursday 22 June Meeting in Madrid Agenda VCGen (do we use Benjamin's VCGen for now?) Peter: Benjamin and I discussed the fact ...

Arranged in Reversed Temporal Order 2006 Yearly Meeting Summary 1. First Tools Meeting, Wednesday 21 June 2006 2. First Tools Meeting, Thursday 22 June 2006 Main ...

Mobius encourages tool-related publications, particularly case studies focusing on the use of Mobius components for Mobius component development. Tool-centric Papers ...

Overview The Mobius Program Verification Environment (PVE) is used to design, program, test, and reason about (possibly concurrent) JML-annotated Java programs. The ...

INCLUDE{" TWIKIWEB .WebChanges"}

Welcome to the home of TWiki.Tools. This is a web-based collaboration area for coordianating Mobius tool development. Please see the toolbar on the lefthand side of ...

SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList

INCLUDINGWEB Web Mobius Public Home Mobius Intranet INCLUDINGWEB Web Home Overview ToolsSummary ToolsContacts ComponentIndex RelatedTools DownloadTools Scientific ...

This is a subscription service to be automatically notified by e-mail when topics change in this Tools web. This is a convenient service, so you do not have to come ...

Tools Web Preferences The following settings are web preferences of the Tools web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ...

TWiki's Tools web SCRIPTURL /view SCRIPTSUFFIX /Tools The Tools web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{" TWIKIWEB ...

INCLUDE{" TWIKIWEB .WebSearch"}

INCLUDE{" TWIKIWEB .WebSearchAdvanced"}

Statistics for Tools Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2009 8 0 0 3 1 ...

TOPICLIST{" $name "} See also the verbose WebIndex.