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 | Citation: | 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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.