HOL-CSPM - Architectural operators for HOL-CSP.
Benoît BallenghienSafouan TahaBurkhart WolffPublished in: Arch. Formal Proofs (2023)
Keyphrases
- theorem prover
- natural deduction
- formal methods
- higher order logic
- constraint satisfaction problems
- theorem proving
- architectural design
- software architecture
- inference rules
- first order logic
- real time
- building blocks
- np hard
- neural network
- data sets
- np complete
- higher order
- bayesian networks
- morphological operators
- high level
- information retrieval
- tree decomposition