Page Content
Research Fields
- Verification of low-level/unstructured code (with gotos)
- Refinement (especially CSP)
- Formalization in Isabelle/HOL
Contact
Nils Berg+49 (30) 314 - 73419
Contact Hours: by appointment
TEL 1004
Contact [4]
Postal Address
Technische Universität BerlinFachgebiet Software and
Embedded Systems Engineering
TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin
rmer_group_members/nils_berg/publications/parameter/en/
maxhilfe/
rmer_group_members/nils_berg/projects/parameter/en/maxh
ilfe/
rmer_group_members/nils_berg/teaching/parameter/en/maxh
ilfe/
parameter/en/maxhilfe/id/133566/?no_cache=1&ask_mai
l=YvWy%2BAAEAO4NHQSyHqydH4%2BQhOGjy%2FRUxc0QCveclWgNfqj
0jk%2BC8A%3D%3D&ask_name=Nils%20Berg
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe
Auxiliary Functions
- Font size:
Copyright TU Berlin 2008