3 AutoFOCUS papers accepted at MODELS 2017!

14. Juli 2017

We are delighted to announce that 3 papers presenting various new features of AF3 have been accepted at MODELS 2017! See you in Austin in September if you want to learn more about the latest Design Space Exploration features, about their usage in collaboration with Continental, or about live formal verification in AF3!


Hernán Ponce de León