Login / Signup
MetAcsl: Specification and Verification of High-Level Properties.
Virgile Robles
Nikolai Kosmatov
Virgile Prevosto
Louis Rilling
Pascale Le Gall
Published in:
TACAS (1) (2019)
Keyphrases
</>
high level
low level
formal verification
programming language
formal language
desirable properties
database
asynchronous circuits
relational databases
protocol specification
formal methods
knowledge level
conceptual model
artificial neural networks
case study
website
databases