|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
Formal Methods in Computer Aided Design (FMCAD'06)
Assume-Guarantee Reasoning for Deadlock
San Jose, California, USA
November 12-November 16
ISBN: 0-7695-2707-8
| ASCII Text | x | ||
| Sagar Chaki, Nishant Sinha, "Assume-Guarantee Reasoning for Deadlock," Formal Methods in Computer Aided Design, pp. 134-144, Formal Methods in Computer Aided Design (FMCAD'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/FMCAD.2006.8, author = {Sagar Chaki and Nishant Sinha}, title = {Assume-Guarantee Reasoning for Deadlock}, journal ={Formal Methods in Computer Aided Design}, volume = {0}, year = {2006}, isbn = {0-7695-2707-8}, pages = {134-144}, doi = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.8}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Formal Methods in Computer Aided Design TI - Assume-Guarantee Reasoning for Deadlock SN - 0-7695-2707-8 SP134 EP144 A1 - Sagar Chaki, A1 - Nishant Sinha, PY - 2006 KW - null VL - 0 JA - Formal Methods in Computer Aided Design ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.8
We extend the learning-based automated assume guarantee paradigm to perform compositional deadlock detection. We define Failure Automata, a generalization of finite automata that accept regular failure sets. We develop a learning algorithm L^F that constructs the minimal deterministic failure automaton accepting any unknown regular failure set using a minimally adequate teacher. We show how L^F can be used for compositional regular failure language containment, and deadlock detection, using non-circular and circular assume guarantee rules. We present an implementation of our techniques and encouraging experimental results on several non-trivial benchmarks.
Citation:
Sagar Chaki, Nishant Sinha, "Assume-Guarantee Reasoning for Deadlock," fmcad, pp.134-144, Formal Methods in Computer Aided Design (FMCAD'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.
