{"title":"形式化验证系统需求的半自动形式化","authors":"A. Busboom, S. Schuler, A. Walsch","doi":"10.29007/k567","DOIUrl":null,"url":null,"abstract":"We present the proof–of–concept tool formalSpec for semi–automatic translation of system requirements from controlled natural language into hybrid automata. These can be automatically integrated as monitor automata with an existing SpaceEx system model.","PeriodicalId":136799,"journal":{"name":"ARCH@CPSWeek","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification\",\"authors\":\"A. Busboom, S. Schuler, A. Walsch\",\"doi\":\"10.29007/k567\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present the proof–of–concept tool formalSpec for semi–automatic translation of system requirements from controlled natural language into hybrid automata. These can be automatically integrated as monitor automata with an existing SpaceEx system model.\",\"PeriodicalId\":136799,\"journal\":{\"name\":\"ARCH@CPSWeek\",\"volume\":\"9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-02-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ARCH@CPSWeek\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.29007/k567\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ARCH@CPSWeek","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.29007/k567","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
We present the proof–of–concept tool formalSpec for semi–automatic translation of system requirements from controlled natural language into hybrid automata. These can be automatically integrated as monitor automata with an existing SpaceEx system model.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
