The Effect of Concurrent Programming Idioms on Verification
international conference on model driven engineering and software development, pp. 363-369, 2015.
In recent years formal verification techniques have become an important part of the development cycle of concurrent software. In order to tackle the state explosion problem and verify larger systems, a great deal of work has been put into improving the scalability of verification tools. In this work, we seek to draw attention to an altern...More
Full Text (Upload PDF)
PPT (Upload PPT)