Specification and Initialization of a Logic Computer System.
Anthony J. KusalikPublished in: New Gener. Comput. (1986)
Keyphrases
- computer systems
- asynchronous circuits
- data processing
- hardware and software
- operating system
- information systems
- computing systems
- linear temporal logic
- formal language
- transition systems
- state machine
- modal logic
- computer technology
- communication systems
- high level
- multi valued
- classical logic
- information processing systems
- software developers
- specification language
- high end
- logic programming
- computer architecture
- computer security
- specification languages
- proof theory
- active rules
- temporal logic
- intrusion detection system
- automated reasoning
- predicate logic
- model checking
- k means
- data mining
- real world
- databases