Blog

Yoav Hollander, our CTO, has been publishing the popular Foretellix blog since 2015. It deals with verification of complex systems, including Intelligent Autonomous Systems, systems based on machine learning and more (here is the list of topics).

Please take a look at the blog:

The Foretellix Blog