Sound idle and block equations for finite state machines in xMAS

Alexander Fedotov, Jeroen J.A. Keiren, Julien Schmaltz

Onderzoeksoutput: Boek/rapportRapportAcademic

54 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's32
StatusGepubliceerd - nov. 2019

Publicatie series

NaamComputer science reports
Volume19-04
ISSN van geprinte versie0926-4515
  • Effective System Level Liveness Verification

    Fedotov, A., Keiren, J. J. A. & Schmaltz, J., 21 sep. 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (redactie). Institute of Electrical and Electronics Engineers, blz. 7-15 9 blz. 9283645

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access

Citeer dit