咨询与建议

限定检索结果

文献类型

  • 7 篇 会议
  • 6 篇 期刊文献

馆藏范围

  • 13 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 12 篇 工学
    • 12 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
  • 3 篇 理学
    • 2 篇 数学
    • 2 篇 生物学
    • 1 篇 统计学(可授理学、...

主题

  • 13 篇 parallel model c...
  • 2 篇 symbolic reachab...
  • 2 篇 biological netwo...
  • 1 篇 property-directe...
  • 1 篇 master-worker mo...
  • 1 篇 dynamic systems
  • 1 篇 wool
  • 1 篇 maude
  • 1 篇 bdd
  • 1 篇 divine
  • 1 篇 dynamical system...
  • 1 篇 massively parall...
  • 1 篇 sequence diagram
  • 1 篇 component
  • 1 篇 discrete simulat...
  • 1 篇 garbage collecti...
  • 1 篇 component-based ...
  • 1 篇 cuda technology
  • 1 篇 genetic regulato...
  • 1 篇 craig interpolat...

机构

  • 2 篇 masaryk univ fac...
  • 2 篇 univ carthage hi...
  • 2 篇 masaryk univ fac...
  • 2 篇 univ tunis el ma...
  • 1 篇 univ carthage tu...
  • 1 篇 japan adv inst s...
  • 1 篇 univ svizzera it...
  • 1 篇 natl univ sci & ...
  • 1 篇 univ twente dept...
  • 1 篇 charles univ pra...
  • 1 篇 univ sorbonne pa...
  • 1 篇 univ paris 13 cn...
  • 1 篇 eindhoven univ t...
  • 1 篇 masaryk univ brn...
  • 1 篇 univ complutense...
  • 1 篇 univ paris 13 so...
  • 1 篇 natl univ sci & ...

作者

  • 3 篇 klai kais
  • 3 篇 ouni hiba
  • 3 篇 abid chiheb ameu...
  • 3 篇 cerna i.
  • 2 篇 brim l.
  • 2 篇 barnat jiri
  • 2 篇 barnat j.
  • 2 篇 brim lubos
  • 2 篇 zouari belhassen
  • 2 篇 drazan s.
  • 2 篇 safranek d.
  • 1 篇 laarman alfons
  • 1 篇 ceska milan
  • 1 篇 riesco adrian
  • 1 篇 ahmad jamil
  • 1 篇 varekova p.
  • 1 篇 canh minh do
  • 1 篇 van de pol jaco
  • 1 篇 zimmerova b.
  • 1 篇 arif fahim

语言

  • 10 篇 英文
  • 3 篇 其他
检索条件"主题词=Parallel Model checking"
13 条 记 录,以下是11-20 订阅
排序:
A Cooperative parallelization Approach for Property-Directed k-Induction  1
收藏 引用
21st International Conference on Verification, model checking, and Abstract Interpretation (VMCAI) part of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
作者: Blicha, Martin Hyvarinen, Antti E. J. Marescotti, Matteo Sharygina, Natasha Univ Svizzera Italiana USI Lugano Switzerland Charles Univ Prague Fac Math & Phys Prague Czech Republic
Recently presented, IC3-inspired symbolic model checking algorithms strengthen the procedure for showing inductiveness of lemmas expressing reachability of states. These approaches show an impressive performance gain ... 详细信息
来源: 评论
Optimization Techniques for model checking Leads-to Properties in a Stratified Way
收藏 引用
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2023年 第6期32卷 151-151页
作者: Canh Minh Do Phyo, Yati Riesco, Adrian Ogata, Kazuhiro Japan Adv Inst Sci & Technol 1-8 Asahidai Nomi Ishikawa 9231211 Japan Univ Complutense Madrid Inst Tecnol Conocimiento Fac Informat Madrid Spain
We devised the L + 1-layer divide & conquer approach to leads-to model checking (L + 1-DCA2L2MC) and its parallel version, and developed sequential and parallel tools for L + 1-DCA2L2MC. In a temporal logic called... 详细信息
来源: 评论
Multi-Core BDD Operations for Symbolic Reachability
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2013年 296卷 127-143页
作者: van Dijk, Tom Laarman, Alfons van de Pol, Jaco Univ Twente Dept EEMCS Formal Methods & Tools POB 217 NL-7500 AE Enschede Netherlands
This paper presents scalable parallel BDD operations for modern multi-core hardware. We aim at increasing the performance of reachability analysis in the context of model checking. Existing approaches focus on perform... 详细信息
来源: 评论