Login / Signup
Pablo Ascariz
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 1
Top Topics
Theorem Prover
Denotational Semantics
Control Software
Linear Algebra
Top Venues
Log. J. IGPL
NASA Formal Methods
</>
Publications
</>
Felicidad Aguado
,
Pablo Ascariz
,
Pedro Cabalar
,
Gilberto Pérez
,
Concepción Vidal
Verification for ASP denotational semantics: A case study using the PVS theorem prover.
Log. J. IGPL
25 (2) (2017)
Heber Herencia-Zapana
,
Romain Jobredeaux
,
Sam Owre
,
Pierre-Loïc Garoche
,
Eric Feron
,
Gilberto Pérez
,
Pablo Ascariz
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.
NASA Formal Methods
(2012)