Verification of software specifications using automated reasoning techniques (abstract).
Jeffrey J. P. TsaiWaldo C. KabatPublished in: ACM Conference on Computer Science (1986)
Keyphrases
- automated reasoning
- automated verification
- reasoning systems
- theorem proving
- knowledge representation
- decision procedures
- theorem prover
- formal verification
- probabilistic reasoning
- software systems
- model checking
- high level
- reasoning tasks
- software development
- natural language
- propositional satisfiability
- state machines
- control flow
- knowledge representation and reasoning
- machine learning
- written in natural language