Login / Signup
MiniSail - A kernel language for the ISA specification language SAIL.
Mark Wassell
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
specification language
programming language
description language
formal specification
software environment
kernel function
symbolic execution
kernel methods
requirements specification
cooperative
real world
web services
feature space
formal methods