Atelier B
Description
Atelier B is an integrated development environment and toolset for the B-Method, a formal method for the specification, design and implementation of software and systems. It provides editors, a proof obligation generator, automated and interactive provers, model checking/animation facilities and code generation support to help develop correct-by-construction software, commonly used in safety- and mission-critical domains.
The suite is used to write formal specifications in B, discharge proof ob...
The suite is used to write formal specifications in B, discharge proof ob...
Statistics
Created by:
Latest version:
Unknown
People using it:
Keys:
Clicks:
Mouse Scrolls:
Time Used:
Average Time Used:
Create a free WhatPulse account to unlock detailed usage statistics and charts.
| Version | OS | Last Seen |
|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| User |
|---|
Atelier B
Application statistics and information.
