Verified over-approximation of the diameter of propositionally factored transition systems

Citation

Abdulaziz, M, Gretton, C & Norrish, M 2015, 'Verified over-approximation of the diameter of propositionally factored transition systems', 6th International Conference on Interactive Theorem Proving, ITP 2015, ed. Zhang X.Urban C., Springer International Publishing Switzerland, TBC, pp. 1-16.

Year

2015

Field of Research

  • Coding And Information Theory

Updated:  13 November 2019 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers