InvitedPaperFormalAnalysisofProcessorTimingModelsReinhardWilhelm1HeuristicsandProbabilitiesTypicalStructuralPropertiesofStateSpacesRadekPelánek5StateCachingReconsideredJacoGeldenhuys23DirectedErrorDetectioninC++withtheAssembly-LevelModelCheckerStEAMPeterLeven