Higher-order Automation in TLAPS

Communication Dans Un Congrès Année : 2020

(1, 2) , (3)

1
2
3

Antoine Defourné

Petar Vukmirovic

Vrije Universiteit Amsterdam [Amsterdam]

Verification TLA+ TLAPS Higher-order Logic SMT Zipperposition

Informatique et langage [cs.CL] Logique en informatique [cs.LO] Logiciel mathématique [cs.MS] Langage de programmation [cs.PL] Théorie et langage formel [cs.FL]

Fichier principal

tla-workshop-2020.pdf (213.67 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-02990614

Soumis le : mardi 15 décembre 2020-15:26:16

Dernière modification le : lundi 2 décembre 2024-17:46:02

Archivage à long terme le : mardi 16 mars 2021-18:01:42

hal-02990614 , version 1 (15-12-2020)

Antoine Defourné, Petar Vukmirovic. Higher-order Automation in TLAPS. TLA+ Community Event 2020, Oct 2020, Virtual, France. ⟨hal-02990614⟩

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

90 Consultations

124 Téléchargements