preloader
CS Portal
Fitch Fork
CS Portal
Fitch Fork
  • System Specifications and Formal Methods

All Research

System Specifications and Formal Methods

TODO: a brief summary of what this research group is about. Please open a ticket with the relevant info

Research Fields

  • Formal Specifications of Systems
  • Theoretical and Methodological Foundations of System Specifications
  • Tool Support for Formal Methods
  • Meta-Informatics and Philosophy of Computer Science

Primary Researchers