Login / Signup
Formal Verification of Machine-Code Systems by Translation of Simulable Descriptions.
Jan Onderka
Published in:
MECO (2024)
Keyphrases
</>
formal verification
automated verification
distributed systems
program slicing
model checking
information retrieval
information systems
complex systems
machine translation
bounded model checking
expert systems
object oriented
source code
computer systems