Applying Predicate Abstraction to Abstract State Machines.

Alessandro Bianchi Sebastiano Pizzutilo Gennaro Vessio

Published in: BMMDS/EMMSAD (2015)

Keyphrases

data abstraction
data sets
databases
neural network
artificial intelligence
multimedia
decision trees
information technology
special case
low level
object oriented
first order logic