Foundationally Sound Annotation Verifier via Control Flow Splitting.
Litao ZhouPublished in: SPLASH Companion (2022)
Keyphrases
- control flow
- data flow
- java card
- software testing
- semantic annotation
- active learning
- process model
- transition systems
- business process models
- image annotation
- metadata
- workflow management systems
- formal semantics
- image retrieval
- modeling language
- expert systems
- high level
- memory hierarchy
- information systems
- databases