Skip to Main content Skip to Navigation
Conference papers

Symbolic Observation Graph : An Efficient Structure for On-The-Fly Action-based Linear Time Logic Model Checking

Serge Haddad Jean-Michel Ilié 1 Kaïs Klai
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01520361
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 10, 2017 - 2:13:17 PM
Last modification on : Thursday, March 21, 2019 - 2:32:14 PM

Identifiers

  • HAL Id : hal-01520361, version 1

Citation

Serge Haddad, Jean-Michel Ilié, Kaïs Klai. Symbolic Observation Graph : An Efficient Structure for On-The-Fly Action-based Linear Time Logic Model Checking. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04), Nov 2004, Saint-Malo, France. pp.11-12. ⟨hal-01520361⟩

Share

Metrics

Record views

100