Formalization of Habanero phasers using Coq.

Tiago Cogumbreiro Jun Shirako Vivek Sarkar

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

formal methods
theorem prover
knowledge representation
formal model
domain knowledge
multi agent systems
operational semantics
medical expert system
reinforcement learning
computational complexity
lower bound
relational databases
rough sets