Skip to content

April2006News

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 4 revisions

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 partners and other collaborators on tool design and development,
  • identifying core features of the Mobius Integrated Verification Environment (IVE),
  • identifying and reviewing potential reusable code bases,
  • comparing foundations for tool development, and
  • running a sporadic "verification bootcamp" at UCD to get my PhD students up-to-speed on the core features of verification systems in general.

We plan on starting, after mid-May, the following activities, to which Mobius partners and other collaborators will be invited:

  • organize site visits for key personnel for tool design, development, and integration. Such visits are already beginning in two weeks with visits from Julien Charles, Aleksy Schubert and, later we hope, Mariela Pavlova.
  • running regular online design meetings focusing on specific subsystems,
    • these meetings will be some combination of vidconf, Skype, IRC, iChat AV, and VNC communication technologies.

The current tools that are under development for Mobius includes:

  • the BML work at INRIA,
  • a lightweight prover interface plugin (UCD + INRIA) that supports Coq and PVS,
  • a lightweight static concurrency checker (UCD),
  • an immutability checker (UCD),
  • the Umbra bytecode editor plugin (Warsaw),
  • a beta release of ESC/Java2 (UCD and many others),
  • a new JMLEclipse plugin (KSU and UCD),
  • a new ESC/Java2 plugin (KSU and UCD),
  • an integrated build, test, version control, and reporting framework (UCD),

More subprojects will start up in Summer. These will include further work on the BML (as discussed in Marieke's recent email), implementing a BooglePL subsystem (at least, that looks like where things are heading, given recent emails from Peter that I need to answer), integrating newly updated ESC/Java2 and U.S. tools (e.g., RCC, Houdini, Daikon, Bogor, etc.), etc.

Version: 4 Time: Mon Sep 17 15:09:42 2007 Author: dcochran (dcochran) IP: 193.1.132.32

Add a custom footer
Add a custom sidebar
Clone this wiki locally