An Executable Specification of Oncology Dose-Escalation Protocols with Prolog.
David C. NorrisMarkus TriskaPublished in: CoRR (2024)
Keyphrases
- formal specification
- protocol specification
- process algebra
- attribute grammars
- communication protocols
- logic programming
- specification language
- knowledge representation
- state machines
- expert systems
- abstract machine
- model checking
- high level
- concurrent systems
- prolog programs
- programming language
- formal verification
- control flow
- communication protocol
- constraint logic programming
- authentication protocol
- formal methods
- multi party
- inference engine
- knowledge base