Adelfa: A System for Reasoning about LF Specifications.

Mary Southern Gopalan Nadathur

Published in: LFMTP (2021)

Keyphrases

delay insensitive
qualitative reasoning
light field
spatial reasoning
written in natural language
database
reactive systems
formal theory
temporal resolution
control flow
functional requirements
software engineering
three dimensional
video sequences
high level
case study
information systems
learning algorithm