Trace Properties from Separation Logic Specifications.

Lars Birkedal Thomas Dinsdale-Young Guilhem Jaber Kasper Svendsen Nikos Tzevelekos

Published in: CoRR (2017)

Keyphrases

formal language
delay insensitive
asynchronous circuits
state machine
high level
logic programming
structural properties
desirable properties
functional requirements
bounded model checking
artificial intelligence
defeasible logic
multi valued
rough sets
natural language
web services
e learning