The Z notation: a reference manual
The Z notation: a reference manual
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introduction to the Theory of Computation
Introduction to the Theory of Computation
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Ten Commandments of Formal Methods
Computer
Proceedings of the 1st International Conference on Integrated Formal Methods
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Proceedings of the Second International Conference on Integrated Formal Methods
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Proceedings of the Third International Conference on Integrated Formal Methods
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Formal Theory of Undirected Graphs in Higher-Order Logic
Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications
On the Need for Practical Formal Methods
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Modular Framework for the Integration of Heterogeneous Notations and Tools
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Integrating Object-Z with Timed Automata
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Proceedings of the 6th international conference on Integrated formal methods
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Finding common motifs with gaps using finite automata
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Proceedings of the 5th international conference on Integrated Formal Methods
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |
Automata theory plays a vital role in modeling behavior while Z notation is an ideal specification language for describing state space of a system. Consequently, integration of automata and Z will be a useful tool for increasing modeling power of complex systems. Further, nondeterministic finite automata (NFA) may have different implementations and therefore it is needed to verify the transformation from diagrams to code. If we describe formal specification of an NFA before implementing then confidence over transformation can be increased. In this paper, we have combined NFA with Z and a linkage is established between these approaches. At this level of integration, we have given a formal procedure to transform NFA to Z. A string accepter is designed and then extended to the language accepter. Finally, NFA accepting union of two regular languages is constructed by describing formal specification of their relationships. The specification is analyzed and validated using Z/EVES tool.