Southern California Institute of Technology - The effect of concurrent programming idioms on verification: A position paper

2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

Author(s): David Harel ; Guy Katz ; Assaf Marron ; Gera Weiss
Publisher: Southern California Institute of Technology
Publication Date: 1 February 2015
Conference Location: Angers, France
Conference Date: 9 February 2015
Page(s): 363 - 369
ISBN (Electronic): 978-989-758-136-6

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... View More