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
Regular:

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

Advertisement