Logic Design Assistence Using Temporal Logic Based Language Tokio.

Hiroshi Nakamura Masaya Nakai Shinji Kono Masahiro Fujita Hidehiko Tanaka

Published in: LP (1989)

Keyphrases

spatio temporal
design process
neural network
knowledge based systems
formal logic
case study
programming language
logic programming
temporal constraints
temporal databases
specification language
formal language
dynamic logic
linear temporal logic