CINECA IRIS Institutional Research Information System

Combining Static and Runtime Verification with AC and Coq

Audrito G.
Co-first
;Haures D.
Co-first
2023-01-01
2023
Verification and Monitoring at Runtime Execution
Seattle, USA
18 luglio 2023
VORTEX 2023: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
ACM
17
20
9798400702495
Audrito G.; Haures D.
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
vortex_2023_coq.pdf

Accesso aperto con embargo fino al 13/09/2025

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 571.28 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
571.28 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1932238
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact