A Wide-Spectrum Language for Verification of Programs on Weak Memory Models.

Robert J. Colvin Graeme Smith

Published in: FM (2018)

Keyphrases

programming language
conceptual models
parameter estimation
complex systems
model checking
statistical models
computer programs
specification language
face recognition
wide range
model selection
programming environment
signature verification
formal verification
language constructs