The Effect of Concurrent Programming Idioms on Verification

international conference on model driven engineering and software development, pp. 363-369, 2015.

Cited by: 0|Bibtex|Views3|
Other Links: academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments