Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract. - Niels Mook; Erwin de Kock; Bas Arts; Soham Chakraborty 001; Arie van Deursen (DATE, 2025)