アブストラクト
| Date | 2:00pm May 28, 2019 |
| Speaker |
Kunihiko Hiraishi, Professor School of Information Science Japan Advanced Institute of Science and Technology (JAIST) |
| Title | Formal Modeling and Its Applications to Bioinformatics |
| Abstract | 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. |