纳塔利·考奇;亚历山德罗·阿巴特 海报摘要:StocHy–随机过程的自动验证和合成。 (英文) 兹伯利07120162 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。258-259 (2019). 引用于9文件 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:形式化方法;随机混合系统;合成;验证 软件:FAUST2型;斯托克Hy;iscas-Mc公司;贾尼;MoDeST公司;GiNaC公司;犰狳;棱镜 PDF格式BibTeX公司 XML格式引用 \textit{N.Cauchi}和\textit{A.Abate},in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。258-259(2019;Zbl 07120162) 全文: 内政部