Lift-off: Trustworthy ARMv8 semantics from formal specifications.

Kait Lam Nicholas Coughlin

Published in: FMCAD (2023)

Keyphrases

formal specification
specification languages
specification language
process algebra
model checking
object oriented design

reverse engineering
concurrent systems
formal methods
semantic data models
formal semantics
object oriented data models

design methodology
formal specification language
databases
fine grained
logic programming
software components

temporal logic
first order logic
semantic information
protocol specification
general purpose
high level