此页面包含使用nummv的发布列表或者描述一个集成在numv中的功能。

注意!这一页正在不断演变。

  1. 亚历山德罗·西马蒂、阿尔贝托·格里吉奥、塞尔吉奥·莫弗和斯特凡诺·托内塔(2013年)基于隐含谓词抽象的IC3模理论。更正,abs/1310.6847。(url)(BibTeX公司)
  2. 亚历山德罗·西马蒂、拉斐尔·科尔维诺、阿曼多·拉扎罗、伊曼·纳拉萨姆迪亚、蒂齐亚娜·里佐、马可·罗韦里、安吉拉·桑塞维罗和安德烈·柴尔采夫(2012年)ERTMS工业铁路列车间隔系统的正式验证和验证。第378-393页。(url)(BibTeX公司)
  3. 亚历山德罗·西马蒂和阿尔贝托·格里吉奥(2012年)通过IC3进行软件模型检查。第277-293页。(url)(BibTeX公司)
  4. 阿尔贝托·格里吉奥(2011年)用于软件验证的有效字级插值。在FMCAD中,第28-36页。(url)(BibTeX公司)
  5. 亚历山德罗·西马蒂、马可·罗维里、安吉洛·苏西和斯特凡诺·托内塔(2011年)用对象模型和时间约束形式化需求。软件与系统建模,10(2):147-160。(url)(BibTeX公司)
  6. 亚历山德罗·西马蒂、马可·罗维里、安吉洛·苏西和斯特凡诺·托内塔(2011年)混合系统需求验证:一种形式化方法。ACM传输。软。工程方法(BibTeX公司)
  7. A。西马提,S。搬运工,M。罗维里和S。托内塔(2010年)从顺序扩展正则表达式到带有符号标签的NFA。在CIAA(BibTeX公司)
  8. A。恰皮尼,A。西马提,L。奥兰多州麦基。雷博罗,M。罗维里,A。苏西,S。托内塔和B。维多里尼(2010年)欧洲列车控制系统子集的形式化和验证。在ICSE 2010年(BibTeX公司)
  9. A。西马蒂,M。罗维里,A。苏西和S。托内塔(2010年)用对象模型和时间约束形式化需求。软件与系统建模杂志(SoSyM),即将出版。DOI 10.1007/s10270-009-0130-7(BibTeX公司)
  10. A。西马蒂,M。罗维里,A。苏西和S。托内塔(2010年)安全关键要求的形式化和验证。CoRR,abs/1003.17411909年航空航天正式方法研讨会(BibTeX公司)
  11. R。塞巴斯蒂安尼,S。托内塔和M.Y.瓦迪(2010年)符号系统,显式性质:LTL符号模型检验的混合方法。斯特特,出现。DOI:10.1007/s10009-010-0168-4(BibTeX公司)
  12. A。西马蒂,M。罗维里和S。托内塔(2009年)混合动力系统的需求验证。2009年CAV。。斯普林格,188-203页(BibTeX公司)
  13. 美国。托内塔(2009年)抽象模型检查而不计算抽象。在FM 2009年(BibTeX公司)
  14. R。卡瓦达,A。西马蒂,A。马里奥蒂,C。马塔雷,A。米其利,S。搬运工,M。彭萨洛托,M。罗维里,A。苏西和S。托内塔(2009年)EuRailCheck:支持需求验证的工具。在ASE 2009中(BibTeX公司)
  15. A。西马蒂,M。罗维里,A。苏西和S。托内塔(2008年)从非正式需求到属性驱动的正式验证。在FMICS中,第166-181页(BibTeX公司)
  16. A。西马蒂,M。罗维里,A。苏西和S。托内塔(2008年)具有时间约束的对象模型。在SEFM。。IEEE计算机协会,249-258页(BibTeX公司)
  17. A。西马蒂,M。罗维里和S。托内塔(2008年)符号编译。IEEE传输。集成电路与系统的计算机辅助设计,27(10):1737-1750(BibTeX公司)
  18. 亚历山德罗·西马蒂、马尔科·罗维里、维克多·舒帕和斯特凡诺·托内塔(2007年)时序逻辑可满足性的布尔抽象。2007年7月19日,德国计算机辅助验证会议,2007年7月19日,德国计算机辅助验证会议(Werner Damm和Holger Hermanns编辑)斯普林格,第532-546页。(url)(BibTeX公司)
  19. 亚历山德罗·西马蒂、马尔科·罗维里和斯特凡诺·托内塔(2007年)PSL验证的语法优化。。《系统构建与分析的工具与算法》,第13届国际会议,2007年TACAS,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2007,葡萄牙布拉加,2007年3月24日至4月1日,会议记录(Orna Grumberg和Michael Huth编辑)Springer,第505-518页。(url)(BibTeX公司)
  20. 罗德里克·布洛姆、罗伯托·卡瓦达、英戈·皮尔、马可·罗维里和安德烈·查尔采夫(2007年)RAT:一个用于需求正式分析的工具。计算机辅助验证,第19届国际会议,CAV 2007,德国柏林,2007年7月3日至7日,会议记录(Werner Damm和Holger Hermanns编辑)Springer,第263-267页。(url)(BibTeX公司)
  21. 亚历山德罗·西马蒂、马尔科·罗维里、西蒙妮·塞姆普里尼和斯特凡诺·托内塔(2006年)从PSL到NBA:一种模块化符号编码。。计算机辅助设计的正式方法,第六届国际会议,FMCAD 2006,美国加利福尼亚州圣何塞,2006年11月12-16日,会议记录。。IEEE计算机协会,第125-133页。(url)(BibTeX公司)
  22. 英戈药丸,西蒙妮·塞姆普里尼,罗伯托·卡瓦达,马可·罗韦里,罗德里克·布洛姆和亚历山德罗·西马蒂(2006年)硬件需求的正式分析。。第43届设计自动化会议记录,DAC 2006,旧金山,CA,USA,2006年7月24-28日。(Ellen Sentovich编辑)ACM,第821-826页。(url)(BibTeX公司)
  23. 罗德里克·布洛姆,亚历山德罗·西马蒂,I。皮尔,马可·罗维里和西蒙妮·塞姆普里尼(2006年)交替自动机的符号实现。。《自动机的实施与应用》,第11届国际学术会议,2006年8月21日至23日,台湾台北,会议记录(奥斯卡H。伊巴拉和许春延编辑)斯普林格,第208-218页。(url)(BibTeX公司)
  24. 亚历山德罗·西马蒂、马可·罗维里和丹尼尔·谢里丹(2004年)过去LTL的有限验证。。计算机辅助设计中的正式方法,第五届国际会议,FMCAD 2004,奥斯汀,德克萨斯,美国,2004年11月15-17日,会议记录(艾伦J。胡和安德鲁K。马丁编辑)斯普林格,245-259页。(url)(BibTeX公司)