The OMILAB node at JeonBuk National University in Korea works in the field of smart intelligent systems, including model-based verification support of complex environment and their simulation.

The OMiLAB Korea aims to initiate the Open Model Community in Korea, as well as, to expand this community to East and South Asia. The lab follows the notion and goals of the Open Models to realize the openness of the knowledge of mankind.

OMiLAB Korea has been actively involved in several initiative activities in Korea, as well as East Asia: organizing leading modeling and formal method groups, developing modeling and formal method tools, providing ADOxx trainings and tutorials, publishing ADOxx-based approaches and tools, promoting joint projects using ADOxx, etc. One of the most noticeable activities is definitely the tool development. The main tools developed so far in OMiLAB Korea include SAVE, which is a formal specification and verification tool based on δ-Calculus and GTS-Logic, PRISM, which is a collective behavior modeling and composition tool for business knowledge based on Behavior Ontology, and SRRE, which is a SW reverse engineering tool for enterprise systems based on round-trip engineering.

Competences

Formal specification and verification

About the Hosting Organisation

The division of Computer Science & Engineering at JeonBuk National University leads and contributes to the development of our society by teaching and studying the cutting-edge field of study, and fosters experts who can analyze and design computer software and hardware system in the 21st century. It encourages students to apply the knowledge in computer engineering and information technology, to analyze the system by reflecting the realistic limitations to solve engineering problems, and to develop creative programs that can fulfill the demands of the society and its users. The aim is to make the graduates to contribute to the growth of Korean IT industry by specializing software development track and having the high-level, cutting-edge programming abilities.