Advances in Formal Modeling and Applications

Area Tematica: Software

This concerns the development of theoretical models of systems that are often distributed and feature complex collaboration, synchronization, cooperation, or communication protocols among sets of components (e.g. grammar systems, team automata, process algebras) and the development of formal techniques to subsequently analyze and verify such models and systems (e.g. model checking). The formal methods are applied in fields like security, service-oriented computing, and software engineering.

Referente

Maurice Henri ter Beek

Progetti