Formal methods in the THETA kernel.
Mike SeagerDavid GuaspariMatthew StillermanCarla MarceauPublished in: IEEE Symposium on Security and Privacy (1995)
Keyphrases
- formal methods
- formal analysis
- model checking
- artificial intelligence
- formal specification
- kernel function
- model checker
- knowledge based systems
- safety critical
- kernel methods
- temporal properties
- support vector
- process algebra
- software engineering
- security properties
- worst case
- modeling language
- databases
- feature space
- case study
- formal specification language