Formal Methods group

E2036891 UNEXPLORED

The Formal Methods group is a research team specializing in mathematically rigorous techniques for specifying, verifying, and analyzing hardware and software systems.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
Formal Methods group canonical	1
Software Modeling and Verification Group at RWTH Aachen University	1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

RISC → hasSubdivision → Formal Methods group ⓘ

Joost-Pieter Katoen → affiliation → Software Modeling and Verification Group at RWTH Aachen University ⓘ

linked to: Formal Methods group