Towards certified model checking for PLTL using one-pass tableaux

  1. Abuin, A.
  2. Bolotov, A.
  3. De Cerio, U.D.
  4. Hermo, M.
  5. Lucio, P.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959771276

Año de publicación: 2019

Volumen: 147

Páginas: 121-1218

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.TIME.2019.12 GOOGLE SCHOLAR