Highlights of DVCon US 2016

DVCon US (Feb. 29th – Mar 3rd, 2016, San Jose, California) has concluded another successful edition. There were a lot of interesting tutorials, panels and

Read More
Ionuț Ciocîrlan April 7, 2016 No Comments

Recommended Articles – February 2016

Anders Nordstrom has written one of the best articles I’ve read about the effects of over-constraining properties in formal verification. The author describes what’s safe

Read More
Aurelian Ionel Munteanu March 16, 2016 4 Comments