Automated Verification of RPC Stub Code.

Matthew Fernandez June Andronick Gerwin Klein Ihor Kuz

Published in: FM (2015)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
source code
error correcting
high level
temporal logic
theorem prover
machine learning
social networks
constraint satisfaction problems
graph theory