I started writing this blog mainly for feedback (see here), but did not know what to expect. Turns out I get good comments in the blog itself, but also (and unexpectedly) quite a few comments in private emails. Private emails are good, but not ideal (because you, gentle reader, don’t get to see them, and … More Some good comments I got lately about requirements
I got interesting comments from some [1] loyal readers of this blog, about these “examples of systems to verify” mentioned in my initial post: Some people claimed that these systems are really so different in scale that they are really incomparable. In particular, I heard the claim that hardware verification (where I spent much of … More On that “verification range” issue
I have sent quite a few people the summary of what I saw at the Autonomous Vehicles Test & Development Symposium in Stuttgart. I was pleasantly surprised with the results – a lot of people sent thoughtful answers, or talked to me about it. Here is a summary of what they said, anonymized (because this … More Some feedback on my Stuttgart report
Welcome to the Foretellix blog. Here is a short introduction: My name is Yoav Hollander. I have been doing verification practically forever [1] (e.g. I created the e verification language). By “verification” I mean here roughly “the process of finding bugs (or unintended consequences) in engineered systems before they annoy a customer / destroy a project … More Why this blog