Modelling techniques for dynamic logic and test pattern generation of a microprocessor.

Published in: Design Automation and Microprocessors (1977)

Keyphrases

dynamic logic
modal logic
imperative programs
reasoning about actions
high speed
classical first order logic
first order logic
propositional dynamic logic
expert systems
multi agent
knowledge representation
fuzzy logic
agent programming
special purpose hardware