Using Lightweight Theorem Proving in an Asynchronous Systems Context.
Matthew DanishHongwei XiPublished in: NASA Formal Methods (2014)
Keyphrases
- lightweight
- theorem proving
- parallel search
- first order logic
- theorem prover
- automated reasoning
- communication infrastructure
- automated theorem proving
- distributed search
- consequence finding
- automatic programming
- combinatorial search
- development environments
- authentication protocol
- automated deduction
- logical inference
- low cost
- wireless sensor networks
- term rewriting
- expert systems