An Application of Formal Analysis to Software in a Fault-Tolerant Environment.

Gregory H. Chisholm Anthony S. Wojcik

Published in: IEEE Trans. Computers (1999)

Keyphrases

fault tolerant
formal analysis
fault tolerance
safety critical
formal methods
distributed systems
agent model
software development
high assurance
high availability
ban logic
load balancing
state machine
intelligent agents
software systems
knowledge based systems
source code
data model
artificial intelligence