×

找到57个文档（结果1-57）

最新的 引文 关联
米娜·杨·佩德森;玛丽亚·斯拉夫科维奇;Smets，索尼娅

社会机器人检测是一个时态逻辑模型检查问题。 （英语） Zbl 07547767号

Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13039, 158-173 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Pedersen}等人，Lect。注释计算。科学。13039，158--173（2021；Zbl 07547767）
全文： 内政部
纪尧姆·吉罗尔;本杰明·法里尼尔;塞巴斯蒂安·巴丁

并非所有的bug都是同等的，但健壮的可达性可以区分这一差异。 （英语） Zbl 1493.68109号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 669-693 (2021).
MSC公司：68号30 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Girol}等人，Lect。注释计算。科学。12759669--693（2021年；Zbl 1493.68109）
全文： 内政部
鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔

Maude中的策略、模型检查和分支时间属性。 （英语） Zbl 1528.68233号

J.日志。阿尔盖布。方法计划。 123，文章ID 100700，28 p.（2021）.
MSC公司：60年第68季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Rubio｝等人，J.Log。阿尔盖布。方法程序。123，文章ID 100700，28 p.（2021；Zbl 1528.68233）
全文： 内政部 arXiv公司
德博拉·博伊恩瓦尔;吉尔斯·伯诺;赫莱内·科拉维扎;Jean-Paul彗星

什么是细胞周期检查点？这个TotemBioNet公司回答。 （英语） Zbl 1506.92026号

亚历山德罗（编辑）等，《系统生物学中的计算方法》。第18届国际会议，CMSB 2020，德国康斯坦茨，2020年9月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12314, 362-372 (2020).
MSC公司：92立方厘米 92立方37 92-04
PDF格式BibTeX公司 XML格式引用
\textit{D.Boyenval}等人，Lect。注释计算。科学。12314、362--372（2020年；Zbl 1506.92026）
全文： 内政部
巴斯卡尔·拉马苏布拉曼尼亚语;牛、路遥;安德鲁·克拉克;琳达·布什内尔;普文德兰，拉达

使用安全控制屏障证书的对抗性环境中的线性时间逻辑满意度。 （英语） 兹比尔1440.68038

Alpcan，Tansu（编辑）等人，《安全决策与博弈论》。2019年10月30日至11月1日，第十届国际会议，2019年GameSec，瑞典斯德哥尔摩。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11836, 385-403 (2019).
MSC公司：68平方米25 60年第68季度 91A80
PDF格式BibTeX公司 XML格式引用
\textit{B.Ramasubramanian}等人，Lect。注释计算。科学。11836，385--403（2019；Zbl 1440.68038）
全文： 内政部 arXiv公司
西蒙·巴斯德;查尔斯·佩彻

一种基于反向遍历的方法，用于约束可达性统一策略的符号模型检查。 （英语） Zbl 1483.68188号

Bouyer，Patricia（ed.）等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256253-267（2017）。
MSC公司：60年第68季度 03B44号 68T42型 91A80
PDF格式BibTeX公司 XML格式引用
\textit{S.Busard}和\textit{C.Pecheur}，电子。程序。西奥。计算。科学。（EPTCS）256253--267（2017；Zbl 1483.68188）
全文： arXiv公司 链接
John C.McCabe-Dansted。;雷诺兹，马克

并行线性时序逻辑表。 （英语） Zbl 1483.68133号

Bouyer，Patricia（ed.）等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256166-179（2017）。
MSC公司：2010年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.McCabe-Dansted}和\textit{M.Reynolds}，电子。程序。西奥。计算。科学。（EPTCS）256166--179（2017；Zbl 1483.68133）
全文： arXiv公司 链接
雷诺兹，马克

LTL表的新规则。 （英语） Zbl 1478.03030号

Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226287-301（2016）。
MSC公司：03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，电子。程序。西奥。计算。科学。（EPTCS）226287--301（2016；Zbl 1478.03030）
全文： arXiv公司 链接
莫里斯·比克。;亚历山德罗·范特奇;斯特凡妮娅·格内西;弗朗科·马扎蒂

产品族可变性建模和分析：具有可变性约束的模态转换系统的模型检查。 （英语） Zbl 1351.68170号

J.日志。阿尔盖布。方法计划。 85，第2期，287-315（2016）.
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，J.Log。阿尔盖布。方法程序。85，第2号，287--315（2016；Zbl 1351.68170）
全文： 内政部
丹尼尔·迪特施;马蒂亚斯·海兹曼;文森特·兰根菲尔德;安德烈亚斯·波德尔斯基

公平模理论：LTL软件模型检查的新方法。 （英语） 兹比尔1381.68157

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206，49-66（2015）。
MSC公司：60年第68季度 03B44号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Dietsch}等人，Lect。注释计算。科学。9206,49-66（2015；Zbl 1381.68157）
全文： 内政部
于斌;段振华;田聪

红绿灯控制系统的有界模型检验。 （英语） Zbl 1351.68169号

薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，63-74，仅电子版（2014）。
MSC公司：60年第68季度 03B44号 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Yu}等人，《电子》。注释Theor。计算。科学。309、63-74（2014年；Zbl 1351.68169）
全文： 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·里日科夫;迈克尔·扎克哈里亚舍夫

带有描述逻辑的时间概念数据建模食谱。 （英语） Zbl 1354.68245号

ACM事务处理。计算。日志。 第15号第3条第25条第50页（2014年）.
MSC公司：68T27型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，ACM翻译。计算。日志。15，第3号，第25条，50页（2014；Zbl 1354.68245）
全文： 内政部 arXiv公司 链接
阿莱西奥·洛穆西奥;沃伊切赫·彭泽克

时间认知逻辑的符号模型检验。 （英语） Zbl 1356.68144号

亚历山大·阿提基斯（编辑）等人，《逻辑程序、规范和行动》。纪念马雷克·塞尔戈特60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-29413-6/pbk）。计算机科学课堂讲稿7360。《人工智能讲义》，172-195（2012）。
MSC公司：60年第68季度 03B42号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Lomuscio}和\textit{W.Penczek}，莱克特。注释计算。科学。7360、172--195（2012；Zbl 1356.68144）
全文： 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德

CTRL：CTL的扩展，带有正则表达式和公平操作符，用于验证遗传调控网络。 （英语） Zbl 1231.68163号

西奥。计算。科学。 412，第26号，2854-2883（2011）.
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\文本{R.Mateescu}等人，Theor。计算。科学。412，第26号，2854--2883（2011；Zbl 1231.68163）
全文： 内政部 链接
罗向玉;苏凯乐;顾，明;吴丽君;杨金吉

草食协议中检验知识的符号模型。 （英语） Zbl 1327.68037号

范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，112-129（2011）。
MSC公司：68个M12 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{X.Luo}等人，Lect。注释计算。科学。6572112-129（2011年；Zbl 1327.68037）
全文： 内政部
赵，杨;吉安弗兰科·西亚多

使用约束饱和对异步系统进行符号CTL模型检查。 （英语） Zbl 1262.68132号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799368-381（2009）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Zhao｝和\textit｛G.Ciardo｝，Lect。注释计算。科学。5799，368-381（2009年；兹bl 1262.68132）
全文： 内政部
莫舍·瓦尔迪。

从哲学到工业逻辑。 （英语） Zbl 1209.68325号

Ramanujam，R.（编辑）等人，《逻辑及其应用》。2009年1月7日至11日，第三届印度会议，ICLA 2009，印度钦奈。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92700-6/pbk）。计算机科学讲义5378。人工智能课堂讲稿，89-115（2009）。
MSC公司：60年第68季度 03B44号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。5378，89-115（2009年；Zbl 1209.68325）
全文： 内政部
普拉德拉，马泰奥;安杰洛·莫尔岑蒂;圣彼得罗，皮耶路易吉

基准模型和双无限时间的可满足性检查。 （英语） Zbl 1161.68580号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160290-304（2008）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Pradella}等人，Lect。注释计算。科学。5160290-304（2008年；Zbl 1161.68580）
全文： 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔大仲马;Hidde德容

遗传调控网络的计算树规则逻辑。 （英语） Zbl 1183.68380号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，48-63（2008）。
MSC公司：60年第68季度 03B44号 03B45号 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}等人，Lect。注释计算。科学。5311、48-63（2008年；Zbl 1183.68380）
全文： 内政部 链接
亚历山德罗·费兰特;那不勒斯，玛格丽塔;帕伦特，米姆

使用分级量词进行CTL模型检查。 （英语） Zbl 1183.68370号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，18-32（2008）。
MSC公司：60年第68季度 03B44号 03B45号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferrante}等人，Lect。注释计算。科学。5311、18-32（2008年；Zbl 1183.68370）
全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。

模型检查的诞生。 （英语） Zbl 1142.68046号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，1-26（2008）。
审核人：Klaus D.Kiermeier（柏林）
MSC公司：60年第68季度 03B44号 03B70号 68-03 68问题85
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。5000，1-26（2008年；兹比尔1142.68046）
全文： 内政部
德沃尔夫，M。;Doyen，L。;新泽西州梅奎特。;J.-F.拉斯金。

反链：LTL可满足性和模型检查的替代算法。 （英语） Zbl 1134.68404号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，63-77（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.De Wulf}等人，Lect。注释计算。科学。4963、63--77（2008年；Zbl 1134.68404）
全文： 内政部
胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫

有效命题逻辑中有界LTL模型检查的编码。 （英语） Zbl 1213.68386号

Pfenning，Frank（编辑），自动扣除-CADE-21。第21届自动扣减国际会议，2007年7月17日至20日，德国不来梅。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73594-6/pbk）。计算机科学课堂讲稿4603。人工智能课堂讲稿，346-361（2007）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Navarro-Pérez}和\textit{A.Voronkov}，莱克特。注释计算。科学。4603346-361（2007年；Zbl 1213.68386）
全文： 内政部
罗特姆·奥斯曼;奥尔纳·格伦伯格

分支时间逻辑有界模型检验的一种新方法。 （英语） Zbl 1141.68482号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762410-424（2007）。
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Oshman}和\textit{O.Grumberg}，莱克特。注释计算。科学。4762410-424（2007年；Zbl 1141.68482）
全文： 内政部
蒂莫·拉塔瓦拉;阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉

简单是更好的：对过去的LTL进行有效的有界模型检查。 （英语） Zbl 1111.68510号

Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学课堂讲稿3385380-395（2005）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.Latvala}等人，Lect。注释计算。科学。3385380-395（2005年；Zbl 1111.68510）
全文： 内政部
维克多·舒潘;阿明·比尔

LTL与过去的符号模型检查的最短反例。 （英语） Zbl 1087.68060号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440493-509（2005）。
MSC公司：60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{V.Schuppan}和\textit{A.Biere}，莱克特。注释计算。科学。3440493--509（2005年；Zbl 1087.68060）
全文： 内政部
吉安弗兰科·西亚多;拉杜·西米尼切努

异步系统的结构符号CTL模型检查。 （英语） Zbl 1278.68162号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 40-53 (2003).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciardo}和\textit{R.Siminiceanu}，莱克特。注释计算。科学。2725、40-53（2003年；Zbl 1278.68162）
全文： 内政部
罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;罗伯·格思;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar，耶尔

ForSpec时态逻辑：一种新的时态属性特定语言。 （英语） Zbl 1043.68563号

Katoen，Joost-Pieter（ed.）等人，《系统构建和分析的工具和算法》。第八届国际会议，TACAS 2002。2002年4月8日至12日，作为欧洲软件理论与实践联合会议的一部分，在法国格勒诺布尔举行。柏林：施普林格出版社（ISBN 3-540-43419-4）。莱克特。注释计算。科学。2280, 296-311 (2002).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Armoni}等人，Lect。注释计算。科学。2280296--311（2002年；Zbl 1043.68563）
全文： 链接
拉鲁西尼，F。;Schnoebelen博士。;M.图鲁阿尼。

定量分支时间时序逻辑的表达性和复杂性。 （英语） Zbl 0957.03025号

Gonnet，Gastón H.（编辑）等人，《拉丁语2000：理论信息学》。第四届拉丁美洲研讨会，2000年4月10日至14日，乌拉圭埃斯特角。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1776, 437-446 (2000).
MSC公司：03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Laroussinie}等人，Lect。注释计算。科学。1776437-446（2000年；Zbl 0957.03025）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件