Skip to content
Distributed Assertion Management Framework
Processes
Initializing search
Home
Design
Dispatch
Edge Systems
Example
Distributed Assertion Management Framework
Home
Design
Design
DAMF Formats
Processes
Dispatch
Edge Systems
Edge Systems
Abella DAMF
λProlog
Example
Processes in DAMF
Back to top