Theory and Formal Methods Lab

Objective

Developing "safe" systems assuring reliability and correctness by performing researches on the theories of formal logic and formal methods based on them

Research Areas

Foundations of Computational Logic

Set theories, temporal logic, automata theories, intuitionistic logic, and process algebrae, etc.

Formal Specification

Specifying requirements and/or designs, using various languages/tools (StateMate, Esterel, SCADE, UML etc) based on formal, mathematical logic

Formal Verification

Proving conformance between requirements, designs, and implementations, by model checking and theorem proving, etc.

Certification Processes

Common Criteria, DO-178B, testing and simulations, software life-cycle

Secure Software Engineering

Contact

Postal Mail

Asan Science building 242, Korea university, Anam-dong 5-ga-1, Sungbuk-gu, Seoul, 136-713 Korea (ROK)

Phone

+82-2-929-8681

FAX

+82-2-953-0771