Exploiting local persistency for reduced state-space generation - Archive ouverte HAL
Journal Articles Innovations in Systems and Software Engineering Year : 2020

Exploiting local persistency for reduced state-space generation

Kamel Barkaoui
CEDRIC. Systèmes sûrs
Hanifa Boucheneb
  • Function : Author
École Polytechnique de Montréal
Zhiwu Li
Macau University of Science and Technology

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
Exploiting local persistency for reduced state space.pdf (246.41 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Kamel Barkaoui  : Connect in order to contact the contributor

https://hal.science/hal-02590041

Submitted on : Monday, March 7, 2022-5:30:08 PM

Last modification on : Friday, July 19, 2024-11:38:05 AM

Long-term archiving on : Wednesday, June 8, 2022-8:59:23 PM

Download

Dates and versions

hal-02590041 , version 1 (07-03-2022)

Identifiers

Cite

Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li. Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 2020, ⟨10.1007/s11334-020-00358-3⟩. ⟨hal-02590041⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM
70 View
85 Download

Altmetric

Share

More