IEEE - Institute of Electrical and Electronics Engineers, Inc. - Process Rewrite Systems for Software Model Checking

2013 International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Tayssir Touili
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Birmingham, UK
Conference Date: 1 July 2013
Page(s): 15 - 22
ISBN (Electronic): 978-0-7695-5053-4
DOI: 10.1109/TASE.2013.10
Regular:

We consider the verification problem of multithreaded recursive programs. We use Process Rewrite Systems (PRS) to model such programs. This allows the use of all the existing results for the... View More

Advertisement