Formal methods and tools

Formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. Development of traditional tools such as compilers and interpreters. Model-based testing. Model checking. Semantics. Hybrid systems. Probabilistic and stochastic systems. Real-time systems. Partial-order methods.

Meer weten?

Wil je meer informatie over de inhoud van het dossier of in contact worden gebracht met de kennisaanbieder? Neem dan contact met ons op.


Terug naar overzicht »