SPIN经典论文集第11届SPIN workshop论文集

InvitedPaperFormalAnalysisofProcessorTimingModelsReinhardWilhelm1HeuristicsandProbabilitiesTypicalStructuralPropertiesofStateSpacesRadekPelánek5StateCachingReconsideredJacoGeldenhuys23DirectedErrorDetectioninC++withtheAssembly-LevelModelCheckerStEAMPeterLeven