MetAcsl: Specification and Verification of High-Level Properties.

Virgile Robles Nikolai Kosmatov Virgile Prevosto Louis Rilling Pascale Le Gall

Published in: CoRR (2018)

Keyphrases

high level
low level
formal verification
programming language
neural network
information retrieval
model checking
desirable properties
formal methods
protocol specification
data sets
real world
machine learning
expert systems
low level features
asynchronous circuits