Category:Work in progress

From Event-B

Jump to: navigation, search

This category gathers pages related to the work in progress.

Subcategories

There is one subcategory to this category.

D

  • Design proposal

Pages in category "Work in progress"

There are 19 pages in this category.

A

  • AnimB Current Developments
  • AnimB roadmap
  • Auto-Completion Design

C

  • Current Developments

D

  • Decomposition Plug-in User Guide
  • Development Rules

E

  • Extending the Static Checker

I

  • Improved WD Lemma Generation

L

  • Layout improvements in the event-B editor

M

  • Measurement Plug-In

P

  • Pattern
  • Preferences for the automatic tactics
  • Proof Hints

P cont.

  • Proof Simplification

R

  • Records Extension
  • Rodin Keyboard User Guide

S

  • Sequent Prover Developer Guide
  • Structured Types

U

  • UML-B Integration and Improvements
Retrieved from "http://wiki.event-b.org/index.php/Category:Work_in_progress"
Views
  • Category
  • Discussion
  • View source
  • History
Personal tools
  • 38.107.191.99
  • Talk for this IP
  • Log in / create account
Navigation
  • Main Page
  • Event-B Language
  • Rodin Platform
  • Plug-in
  • Developer Support
  • FAQ
  • Event-B Examples
  • Random page
  • ''Event-B and Rodin''
contribute
  • Wiki help
  • Village Pump
  • Recent changes
 
Toolbox
  • What links here
  • Related changes
  • Upload file
  • Special pages
  • Printable version
  • Permanent link
Powered by MediaWiki
  • This page was last modified 09:24, 4 March 2009.
  • This page has been accessed 653 times.
  • Privacy policy
  • About Event-B
  • Disclaimers