咨询与建议

限定检索结果

文献类型

  • 21 篇 会议
  • 7 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 23 篇 工学
    • 20 篇 计算机科学与技术...
    • 18 篇 软件工程
    • 2 篇 控制科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
  • 7 篇 管理学
    • 6 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 5 篇 理学
    • 4 篇 数学
    • 2 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 8 篇 model checking
  • 4 篇 static analysis
  • 3 篇 logic
  • 3 篇 model-checking
  • 3 篇 verification
  • 2 篇 infinite-state
  • 2 篇 software enginee...
  • 2 篇 software enginee...
  • 2 篇 algorithms
  • 2 篇 mu-calculus
  • 2 篇 specification
  • 2 篇 pushdown systems
  • 2 篇 programming tech...
  • 2 篇 theory
  • 2 篇 programming lang...
  • 2 篇 logics and meani...
  • 2 篇 games
  • 1 篇 object oriented ...
  • 1 篇 state explosion
  • 1 篇 software systems

机构

  • 2 篇 institute of eng...
  • 2 篇 univ illinois ur...
  • 2 篇 university of so...
  • 2 篇 univ penn philad...
  • 2 篇 cardiff school o...
  • 1 篇 epfl
  • 1 篇 darmstadt sap ag...
  • 1 篇 seven networks r...
  • 1 篇 institute for fo...
  • 1 篇 max-planck-insti...
  • 1 篇 university of al...
  • 1 篇 middlesex univ l...
  • 1 篇 univ konstanz de...
  • 1 篇 saarland univers...
  • 1 篇 tohoku univ send...
  • 1 篇 facultad de info...
  • 1 篇 univ hawaii hono...
  • 1 篇 east china norma...
  • 1 篇 westfälische wil...
  • 1 篇 facultad de info...

作者

  • 2 篇 visser willem
  • 2 篇 chaudhuri s
  • 2 篇 madhusudan p
  • 2 篇 anand saswat
  • 2 篇 alur r
  • 2 篇 bouajjani ahmed
  • 1 篇 huang tao
  • 1 篇 godlin benny
  • 1 篇 manuel hermenegi...
  • 1 篇 rajkumar singh r...
  • 1 篇 hatcliff john
  • 1 篇 glazberg ziv
  • 1 篇 schwoon stefan
  • 1 篇 beyer dirk
  • 1 篇 song fu
  • 1 篇 wei jun
  • 1 篇 de la cámara p
  • 1 篇 markus müller-ol...
  • 1 篇 dwyer matthew b.
  • 1 篇 wu zhilin

语言

  • 25 篇 英文
  • 3 篇 其他
  • 2 篇 德文
检索条件"任意字段=Software Verification: Infinite-State Model Checking and Static Program Analysis 2006"
30 条 记 录,以下是21-30 订阅
The case for analysis preserving language transformation  06
The case for analysis preserving language transformation
收藏 引用
2006 International Symposium on software Testing and analysis, ISSTA 2006
作者: Zhang, Xiaolan Koved, Larry Pistoia, Marco Weber, Sam Jaeger, Trent Marceau, Guillaume Zeng, Liangzhao IBM T. J. Watson Research Center 19 Skyline Drive Hawthorne NY 10532 United States Department of Computer Science and Engineering Pennsylvania State University 346A Information Sciences and Technology Building University Park PA 16802 United States Department of Computer Science Brown University Providence RI 02912 United States
static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentized, it is common for software systems and... 详细信息
来源: 评论
Symbolic execution with abstract subsumption checking
收藏 引用
13th International SPIN Workshop on model checking software
作者: Anand, Saswat PǍsǍreanu, Corina S. Visser, Willem College of Computing Georgia Institute of Technology QSS RIACS NASA Ames Research Center Moffett Field CA 94035
We address the problem of error detection for programs that take recursive data structures and arrays as input. Previously we proposed a combination of symbolic execution and model checking for the analysis of such pr... 详细信息
来源: 评论
An application-semantics-based relaxed transaction model for internetware
收藏 引用
Science in China(Series F) 2006年 第6期49卷 774-791页
作者: HUANG Tao DING Xiaoning WEI Jun Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences Beijing 100080 China Key laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing100080 China Graduate School of Chinese Academy of Sciences Beijing 100080 China
An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service (TCS... 详细信息
来源: 评论
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
收藏 引用
12th International Conference on Tools and Algorithms for the Construction and analysis of Systems, TACAS 2006. Held as Part of the Joint European Conferences on Theory and Practice of software, ETAPS 2006
作者: Dwyer, Matthew B. Hatcliff, John Hoosier, Matthew Ranganath, Venkatesh Robby Wallentine, Todd University of Nebraska Lincoln NE 68588 United States Kansas State University Manhattan KS 66506 United States
model checking techniques have proven effective for checking a number of non-trivial concurrent object-oriented software systems. However, due to the high computational and memory costs, a variety of model reduction t... 详细信息
来源: 评论
A fixpoint calculus for local and global program flows
收藏 引用
ACM SIGPLAN NOTICES 2006年 第1期41卷 153-165页
作者: Alur, R Chaudhuri, S Madhusudan, P Univ Penn Philadelphia PA 19104 USA Univ Illinois Urbana IL 61801 USA
We define a new fixpoint modal logic, the visibly pushdown mu-calculus (VP-mu), as an extension of the modal mu-calculus. The models of this logic are execution trees of structured programs where the procedure calls a... 详细信息
来源: 评论
6th International Conference on Tools and Algorithms for the Construction and analysis of Systems, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of software, ETAPS 2000
6th International Conference on Tools and Algorithms for the...
收藏 引用
6th International Conference on Tools and Algorithms for the Construction and analysis of Systems, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of software, ETAPS 2000
The proceedings contain 36 papers. The special focus in this conference is on software, Formal Methods Tools, Hybrid Systems, Parameterized Systems and Efficient model-checking. The topics include: On the construction...
来源: 评论
9th International Workshop on Logic-Based program Synthesis and Transformation, LOPSTR 1999
9th International Workshop on Logic-Based Program Synthesis ...
收藏 引用
9th International Workshop on Logic-Based program Synthesis and Transformation, LOPSTR 1999
The proceedings contain 17 papers. The special focus in this conference is on Invited Talk and Tutorials. The topics include: Algebraic specification and program development by stepwise refinement extended abstract;pr...
来源: 评论
A formal study of slicing for multi-threaded programs with JVM concurrency primitives  6th
A formal study of slicing for multi-threaded programs with J...
收藏 引用
6th International Symposium on static analysis
作者: Hatcliff, J Corbett, J Dwyer, M Sokolowski, S Zheng, HJ Kansas State Univ SAnToS Lab Manhattan KS 66506 USA Univ Hawaii Honolulu HI 96822 USA
Previous work has shown that program slicing can be a useful step in model-checking software systems. We are interested in applying these techniques to construct models of multi-threaded Java programs. Past work does ... 详细信息
来源: 评论
verification, model checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Gilles Barthe Manuel Hermenegildo
This volume contains the proceedings of the 11th International Conference on Veri?cation, model checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th ... 详细信息
来源: 评论
verification, model checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Neil D. Jones Markus Müller-Olm
This volume contains the proceedings of the 10th International Conference on Veri?cation, model checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18–20, 2009. VMCAI 2009 was ... 详细信息
来源: 评论