Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Jiri Barnat; Vincent Bloemen; Alexandre Duret-Lutz; Alfons Laarman; Laure Petrucci; Jaco van de Pol; Etienne Renault

doi:10.1007/978-3-319-63516-3_12

Chapitre D'ouvrage Année : 2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

, , , , (1) , ,

1

Jiri Barnat

Fonction : Auteur

Vincent Bloemen

Fonction : Auteur

Alexandre Duret-Lutz

Fonction : Auteur
PersonId : 1142912
IdHAL : alexandre-duret-lutz
ORCID : 0000-0002-6623-2512
IdRef : 119034492

CV

Alfons Laarman

Fonction : Auteur

Laure Petrucci

Fonction : Auteur
PersonId : 178715
IdHAL : laure-petrucci
ORCID : 0000-0003-3154-5268
IdRef : 110965787

Laboratoire d'Informatique de Paris-Nord

Jaco van de Pol

Fonction : Auteur

Etienne Renault

Fonction : Auteur

Domaines

Autre [cs.OH]

Laure Petrucci : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03772757

Soumis le : jeudi 8 septembre 2022-14:51:22

Dernière modification le : vendredi 5 avril 2024-03:26:14

Dates et versions

hal-03772757 , version 1 (08-09-2022)

Identifiants

HAL Id : hal-03772757 , version 1
DOI : 10.1007/978-3-319-63516-3_12

Citer

Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, et al.. Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning, Springer International Publishing, pp.457-507, 2018, ⟨10.1007/978-3-319-63516-3_12⟩. ⟨hal-03772757⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS LIPN USPC SORBONNE-PARIS-NORD ACT-R

11 Consultations

0 Téléchargements

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager