We announced a number of new features in formalmind Studio right before Christmas, including better SpecRelations (linking), Validation, ID-Generation and a few more. But we did not stop there, but continued our work. Read on to learn what we added. But first… Talk at ReConf 2016 Dr.
Read more →
Over the last two months, we put a lot of work into formalmind Studio: We polished the rough edges and we implemented new features. Maybe you already noticed these, as we rolled some of them out silently, like jumping to the target of links. Others we already
Read more →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 →A first prototype of a ProB Logic Calculator is now available online. With it you can evaluate arbitrary expressions and predicates (using B Syntax). It is a great way to learn about B, predicate logic and set theory or even just to solve arithmetic constraints and puzzles.
Read more →
We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it. Learn more
Diese Website verwendet Cookies, um ihre Dienste bereitzustellen. Durch die Nutzung dieser Website erklären Sie sich damit einverstanden. Mehr erfahrenOk
