Model Checking Made Easy - Assemble Systems

Due to time constraints at my AUx Dubai presentation, we ran out of time and I wasn't able to cover all the functionality of each tool, including Assemble Systems model checking functionality. The video below covers the model checking functionality that Assemble Systems can assist with that I was not able to cover in the presentation.

AUx Dubai - Advanced Model Checking

I want to thank everyone that attended my Advanced Model Checking class at AUx Dubai. The presentation can be found at our company website: http://davisconsultingservicesllc.com/index.html