Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections

Reviewed Paper In Proceedings
Author(s):Aboubakr Achraf El Ghazi, Mana Taghdiri, and Mihai Herda
In:7th NASA Formal Methods Symposium (NFM 2015)
Year:2015
Pages:143-157

BibTeX

@InProceedings{a.a.elghazi-nfm2015,
    author     = {Aboubakr Achraf {El Ghazi} and Mana Taghdiri and Mihai Herda},
    title         = {First-Order Transitive Closure Axiomatization via Iterative Invariant Injections},
    booktitle  = {7th NASA Formal Methods Symposium (NFM 2015)},
    pages      = {143-157},
    address   = {Pasadena},
    year        = {2015},
    month     = {April}
}