At the core of the B-Method is a very expressive language rooted in predicate logic, set theory, relational calculus, higher-order functions and arithmetic. At the heart of our ProB toolset is an evaluator and constraint solver for this language. We strive for both efficiency and correctness, such that the tool can be used in a safety-critical context….
Formal Mind is pleased to invite you to the following event with Professor Jan Peleska and Professor Wen-Ling Huang: SysML, Formal Semantics and Their Uses in Model-Based Testing Monday, May 27th, 2013, 10:00-12:30 University of Düsseldorf Room 25.12.2.55 Lecture will be held in German. Participation is free of charge. Non-Faculty members, please rsvp at info@formalmind.com…
Formal Geist freut sich, Sie auf der folgenden Veranstaltung mitProfessor Jan Peleska und Professor Wen-Ling Huang laden: n n SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen Monday, May 27th, 201310:00-12:30 University of Düsseldorf Room 25.12.2.55 Vortrag wird in deutscher Sprache abgehalten werden. Nicht-Mitglieder des Lehrkörpers, Anmeldung erbeten bei info@formalmind.com Abstract: Die…
We are proud to announce the release of RMF ProR 0.7.0 and ProR Essentials 0.7.0. Download them now from the Eclipse website. If you already have ProR 0.5.0 or newer, simply update via Help | Check for Updates. In Version 0.7.0, 16 features and bugs have been implemented/fixed. The biggest visible improvement for users is…
The Atlas is a remarkable detector. It weighs as much as the Eiffel tower, consists of 10 million parts, and generates more data each day than Twitter does. But as a recent Economist article states, as impressive is the fact that it is a collaboration involving more than 3,000 researchers from 175 institutes in 38…
As more and more tools in the market support ReqIF, it becomes more and more important to inspect the generated files and to perform troubleshooting. This is currently done in a systematic fashion by the ReqIF Implementor Forum, a project group that ensures interoperability between different ReqIF-based implementations. We are supporting this forum by generating…
If you downloaded RMF/ProR Version 0.6.0, you may have had a problem when using an older Java version (less than Java 7, to be prcise). We just published a service update that loosens this rather strict and unnecessary requirement. No need to download the new version, just update via Help | Check for Updates. This…
We are proud to announce the publication of the ProR 0.6.0 snapshot. While still in incubation, this version provides some significant improvements with respect to usability. If you use ProR 0.5.0, you can update your installation simply via Help | Check for Updates. Try it now, or download it here. The highlights of 0.6.0 include:…
Update: The information shown here is outdated. The current state of team support is described in the fmStudio Handbook. We are working on commercial team support. If this is of interest to you, then please let us know, so that we can inform you when it is available. Recently we published ReqIF-comparing as the first…
Merge Conflicts In a team setting, there is always the risk of a merge conflict. Without a conflicht, the Team plug-in automatically merges changes upon update. But if a conflict occurs, the user has to intervene. While the commit will still be triggered, the user will receive a message that committing is not possible, unless…
