在时间的路上

HOWARD-60 Pub Date : 1900-01-01 DOI:10.29007/sz8j

C. Dixon, Michael Fisher

{"title":"在时间的路上","authors":"C. Dixon, Michael Fisher","doi":"10.29007/sz8j","DOIUrl":null,"url":null,"abstract":"Up and Down the Temporal Way” was a paper published by Howard Barringer in the 1980s that used temporal logics to formally specify a lift system. Based on that temporal specification, we describe some advances and extensions to temporal specification and verification that the authors have been involved with since then.","PeriodicalId":422904,"journal":{"name":"HOWARD-60","volume":"72 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On and On the Temporal Way\",\"authors\":\"C. Dixon, Michael Fisher\",\"doi\":\"10.29007/sz8j\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Up and Down the Temporal Way” was a paper published by Howard Barringer in the 1980s that used temporal logics to formally specify a lift system. Based on that temporal specification, we describe some advances and extensions to temporal specification and verification that the authors have been involved with since then.\",\"PeriodicalId\":422904,\"journal\":{\"name\":\"HOWARD-60\",\"volume\":\"72 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"HOWARD-60\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.29007/sz8j\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"HOWARD-60","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.29007/sz8j","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

《上下时间之路》是霍华德·巴林杰(Howard Barringer)在20世纪80年代发表的一篇论文，该论文使用时间逻辑正式指定了一个升降机系统。在此时间规范的基础上，我们描述了作者从那时起参与的时间规范和验证的一些进展和扩展。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

On and On the Temporal Way

Up and Down the Temporal Way” was a paper published by Howard Barringer in the 1980s that used temporal logics to formally specify a lift system. Based on that temporal specification, we describe some advances and extensions to temporal specification and verification that the authors have been involved with since then.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

HOWARD-60

自引率

0.00%

发文量

期刊最新文献

Pandora's Box Can a system learn from interactive proofs? Stone duality for first-order logic: a nominal approach to logic and topology Model checking Timed CSP On the Expressiveness of some Runtime Validation Techniques