Verifying reachability-logic properties on rewriting-logic specifications (extended version) - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport Technique) Année : 2015

Verifying reachability-logic properties on rewriting-logic specifications (extended version)

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]

David Nowak  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01712416

Soumis le : lundi 19 février 2018-14:44:46

Dernière modification le : jeudi 28 mars 2024-15:18:19

Fichier non déposé

Dates et versions

hal-01712416 , version 1 (19-02-2018)

Identifiants

  • HAL Id : hal-01712416 , version 1

Citer

Dorel Lucanu, Andrei Arusoaie, Vlad Rusu, David Nowak. Verifying reachability-logic properties on rewriting-logic specifications (extended version). [Technical Report] Faculty of Computer Science, University “Alexandru Ioan Cuza” of Iasi, Str. Berthelot 16, 6600-Iasi, Romania. 2015. ⟨hal-01712416⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA CRISTAL INRIA2 CRISTAL-2XS LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UNIV-LILLE UR1-MATH-NUM
87 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More