Taking formal methods mainstream

Verum’s CTO Rutger van Beusekom will present at the Software-Centric Systems Conference (SC2) Wednesday 6 October. At SC2, professionals and decision makers in information-intensive markets share best practices in the crucial and strategic discipline of complex software development.

In his presentation Rutger will explain what Verum is doing to make formal methods mainstream:

“In academia, we refer to computing science. In industry, we refer to software engineering. An engineer is a skilled technician who develops and applies scientific knowledge to solve technological problems. Too often in practice software people must resort to skillful tinkering as opposed to sound engineering. That’s why at Verum, we’ve dedicated ourselves to the development and application of scientific knowledge to solve the technological problems underlying this phenomenon. To meet these challenges head on, we’re developing a language that enables building reactive systems at industrial scale. The language offers built-in verification and allows for reasoning about both the problem and the solution. It’s complemented by tooling that automates every development aspect from specification, construction, and documentation to verification and validation. In this talk, we’ll present what we’ve achieved and what will come tomorrow, when we stop tinkering in software development.”

check: https://softwarecentricsystems.com/