Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Elvinia Riccobene
Publications
SMT for state-based formal methods: the ASM case study
Paolo Arcaini
,
Angelo Gargantini
and
Elvinia Riccobene
In
:
Automated Formal Methods
Keyphrases
Abstract State Machines
,
refinement proof
,
runtime verification
,
SMT solver
,
Yices
.
Copyright © 2012-2023 easychair.org. All rights reserved.
