Login / Signup
Verification under Intel-x86 with Persistency.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Ahmed Bouajjani
K. Narayan Kumar
Prakash Saivasan
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
model checking
formal analysis
signature verification
face verification
verification method
image processing
clustering algorithm
computer architecture
neural network
real world
three dimensional
special case
temporal logic
test generation
concurrent systems