A Logic for Formalizing Properties of LF Specifications.

Gopalan Nadathur Mary Southern

Published in: PPDP (2022)

Keyphrases

formal language
delay insensitive
desirable properties
logic programming
high level
structural properties
multi valued
specification language
bounded model checking
databases
neural network
learning algorithm
case study
video sequences
formal specification
classical logic