@第{zbMATH05580677条，作者={Leucker，Martin and Schallhart，Christian}，标题={运行时验证的简要说明}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={78}，数字={5}，页码={293--303}，年份={2009}，语言={英语}，DOI={10.1016/j.jlap.2008.08.004}，关键词={68Q60}，zbMATH＝{5580677}，Zbl={1192.68433}}