The hidden layer between the Fachlichkeit and the -ilities

It is part of the DSL lore that before you…

ISoLA 2018: Thoughts on X-by-Construction

X-by-Construction refers to the idea of ensuring, by construction, that a particular property (“X”) holds in a program. The X is meant to be replaced by any property you care about. A classical property X is correctness (correctness-by-construction), and it…

ISoLA 2018: Thoughts on Formal Verification and DSLs

As I had mentioned in my previous post, I have spent the last week at the ISoLA conference. Its main focus is on formal methods, but there was a track on modeling as well, which is why I was there.