||2:00pm May 28, 2019
School of Information Science
Japan Advanced Institute of Science and Technology (JAIST)
Formal Modeling and Its Applications to Bioinformatics
Formal modeling is a tool for modeling real systems in such a way
that the obtained models are mathematically well-defined,
and as a result, they can be processed by computers.
The main usage of formal modeling is to validating and optimizing
system designs in the early stages of system development.
In addition to building models of man-made systems, formal
modeling is also used for modeling systems in the real physical world.
In this talk, firstly various formalisms of formal modeling
are introduced, secondly techniques for analysis and verification
of formal models are explained, and finally applications of formal
modeling to bioinformatics are presented.