Verifying Whiley Programs with Boogie.

David J. Pearce Mark Utting Lindsay Groves

Published in: J. Autom. Reason. (2022)

Keyphrases

automatic programming
computer programs
intermediate level
model checking
expert systems
database
information technology
programming environment
answer sets
operating system
mobile robot
three dimensional
image processing
decision making
information systems
machine learning
data mining
neural network