Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
Crystal Chang DinOlaf OweRichard BubelPublished in: MODELSWARD (2014)
Keyphrases
- distributed systems
- theorem proving
- first order logic
- decision procedures
- automated deduction
- theorem prover
- inference rules
- automated reasoning
- automatic programming
- fault tolerant
- distributed computing
- distributed environment
- term rewriting
- runtime environment
- proof procedure
- load balancing
- parallel search
- geographically distributed
- automated theorem proving
- logical inference
- proof planning
- fault tolerance
- consequence finding
- mobile agents
- agent technology
- message passing
- data replication
- real time systems
- distributed database systems
- concurrent systems
- geometry theorem proving
- predicate calculus
- natural deduction
- distributed databases
- equational theories
- software development environments