Login / Signup
Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover.
Heikki Tuominen
Published in:
Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
</>
special purpose
theorem prover
general purpose
management system
highly optimized
first order logic
expert systems
theorem proving
term rewriting
search algorithm
knowledge representation
complex systems
desirable properties
formal semantics