Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

A Precise Memory Model for Low-Level Bounded Model Checking