Login / Signup
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.
Ole Jørgen Abusdal
Crystal Chang Din
Violet Ka I Pun
Volker Stolz
Published in:
The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
</>
knowledge base
natural language
real world
machine learning
artificial intelligence
search engine
web pages
database systems
similarity measure
objective function
video sequences
dynamic programming
distributed systems
type checking
verification method
constraint checking