Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 50.481.137 Times

USER REVIEWS

RODIN


Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical...

WRITE USER REVIEW
Your name *
Email *
Ease of use *
(1 = Bad, 10 = Superb)
Functionality *
(1 = Bad, 10 = Superb)
Value for money *
(1 = Bad, 10 = Superb)
Overall score *
(1 = Bad, 10 = Superb)
Comments *
Please don't post questions, this is NO support or discussion list.
Guides
If you know any guides for this tool post the links here (optional)
Verification Code *




Captcha verification code

 
Home  | About Us  | Privacy  | Disclaimer  | Link to Us  | Contact Us  | Top Searches  | Submit Software  | Submit Site  | Percentage Calculator  | Text Compare
File Transit © 1998-2024