Back to chapters
Theory and Application of Formal Methods in Computer Systems
The chapter promotes the development and application of formal methods in the analysis and modeling of computer systems to build solutions to real-world problems. The work is based on Computer Science, from both a theoretical perspective (research and innovation in formal methods, computational logic, theory of computation) and an experimental perspective (development of computational tools and applications).
Objectives
- Promote research and innovation in formal methods, computational logic, and theory of computation for the analysis and modeling of computer systems.
- Promote research and innovation in modeling techniques and established and/or emerging computational technologies for building solutions to real-world problems.
- Promote the development of computational tools and applications that contribute to building solutions to real-world problems.
- Promote scientific advancement in Colombia in computer sciences related to formal methods in computer systems.
- Promote cooperation between academia and industry in the field of formal methods in computer systems.
- Promote a discussion space for the exchange of information among academic and professional stakeholders interested in the area.
- Support the development and organization of scientific events that promote participation and socialization of results in the area.
Areas of interest
Formal methods, computational logic, and theory of computationVerification of fundamental system propertiesFormalisms for modeling combinatorial problemsComputational modeling of systems: transport, logistics, planning, networks, biological systemsLanguage design resulting from the application of formal methodsUse of computational technologies to model complex systemsPrototypes or software tools resulting from the application of formal methods