URSU, A.; GRUITA, G.; ZAPOROJAN, S.
(Institute of Mathematics and Computer Science, 1997)
A design method of sequential system automata using temporal logic specifications is proposed in this paper. The method is based on well-known Z.Manna and P.Wolper temporal logic satisfiability analysis procedure and is ...