Data Validation & Reverse Engineering

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

Read more

Termin vormerken: SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen (27. Mai 2013)

n Formal Mind freut sich, Sie zu der folgenden Veranstaltung mitProfessor Jan Peleska und Professor Wen-Ling Huang einzuladen:   SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen Montag, 27. Mai 2013, 10:00-12:30 Heinrich-Heine Universität Düsseldorf Room 25.12.2.55 Vortrag wird in deutscher Sprache gehalten. Die Teilnahme ist

Read more

Termin vormerken: SysML, formale Semantik und ihre Anwendung beim modellbasierten Testen (27. Mai 2013)

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

Read more

Better Link creation with RMF ProR 0.7.0

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

Read more

Using ProR for ReqIF Testing

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

Read more

ProR 0.6.0: The best ProR so far

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

Read more