C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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