Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Extending higher-order logic with predicate subtyping: application to PVS

Frédéric Gilbert 1, 2
1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
2 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
Complete list of metadata

Cited literature [71 references]  Display  Hide  Download

https://hal.inria.fr/hal-01673518
Contributor : Frédéric Gilbert Connect in order to contact the contributor
Submitted on : Saturday, December 30, 2017 - 11:50:33 AM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM

File

dissertation.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01673518, version 1

Collections

Citation

Frédéric Gilbert. Extending higher-order logic with predicate subtyping: application to PVS. 2017. ⟨hal-01673518v1⟩

Share

Metrics

Record views

292

Files downloads

185