@inproceedings{Abdulaziz_GN_15_2, month = aug, keywords = {bounded model checking, planning, interactive theorem proving}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8655.pdf}, booktitle = {International Conference on Interactive Theorem Proving}, author = {Abdulaziz, Mohammad and Gretton, Charles and Norrish, Michael}, year = {2015}, pages = {1--16}, title = {Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems}, address = {Nanjing, China} }