Bounded model checking for asynchronous concurrent systems 

Rakotoarisoa, Manitra Johanesa (Date of defense: 2014-03-04)

Complex hardware systems become more and more ubiquitous in mission critical applications such as military, satellite, and medical to name but a few. In such applications, reliability remains a primary concern because a ...