Skip to Main content Skip to Navigation
Journal articles

Computable fixpoints in well-structured symbolic model checking

Complete list of metadata

https://hal.inria.fr/hal-00906826
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Wednesday, November 20, 2013 - 1:33:59 PM
Last modification on : Tuesday, June 15, 2021 - 4:05:43 PM

Links full text

Identifiers

Citation

Nathalie Bertrand, Philippe Schnoebelen. Computable fixpoints in well-structured symbolic model checking. Formal Methods in System Design, Springer Verlag, 2013, 43 (2), pp.233-267. ⟨10.1007/s10703-012-0168-y⟩. ⟨hal-00906826⟩

Share

Metrics

Record views

528