Please use this identifier to cite or link to this item: https://doi.org/10.1145/1858996.1859072
Title: SpecDiff: Debugging formal specifications
Authors: Xing, Z. 
Sun, J. 
Liu, Y. 
Dong, J.S. 
Keywords: Model checking
Model differencing
PAT
Issue Date: 2010
Source: Xing, Z.,Sun, J.,Liu, Y.,Dong, J.S. (2010). SpecDiff: Debugging formal specifications. ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering : 353-354. ScholarBank@NUS Repository. https://doi.org/10.1145/1858996.1859072
Abstract: This paper presents our SpecDiff tool that exploits the model differencing technique for debugging and understanding evolving behaviors of formal specifications. SpecDiff has been integrated in the Process Analysis Toolkit (PAT), a framework for formal specification, verification and simulation. SpecDiff is able to assist in diagnosing system faults, understanding the impacts of specification optimization techniques, and revealing the system change patterns. © 2010 ACM.
Source Title: ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/40015
ISBN: 9781450301169
DOI: 10.1145/1858996.1859072
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

54
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.