Titlebook: Verified Software: Theories, Tools, Experiments; Second International Natarajan Shankar,Jim Woodcock Conference proceedings 2008 Springer-V

ATE

书目名称Verified Software: Theories, Tools, Experiments影响因子(影响力)




书目名称Verified Software: Theories, Tools, Experiments影响因子(影响力)学科排名




书目名称Verified Software: Theories, Tools, Experiments网络公开度




书目名称Verified Software: Theories, Tools, Experiments网络公开度学科排名




书目名称Verified Software: Theories, Tools, Experiments被引频次




书目名称Verified Software: Theories, Tools, Experiments被引频次学科排名




书目名称Verified Software: Theories, Tools, Experiments年度引用




书目名称Verified Software: Theories, Tools, Experiments年度引用学科排名




书目名称Verified Software: Theories, Tools, Experiments读者反馈




书目名称Verified Software: Theories, Tools, Experiments读者反馈学科排名

indices

贿赂

PON

Combining Tests and Proofsain high coverage, it typically suffers from imprecision (and imprecision is needed to scale the analysis to large programs). While dynamic analysis has the potential to be very precise, it typically suffers from poor coverage.

沉思的鱼

Propositional Dynamic Logic for Recursive Procedureshough PDL with recursive programs is known to be highly undecidable, natural deductive formalisms for it are of substantial interest, because they distill the essential logical components of recursive procedures. We also show that Pratt-Kozen’s .-Calculus, in which fixpoints are taken over formulas

易碎

maverick

Carminative

Combining Domain-Specific and Foundational Logics to Verify Complete Software Systemsfeatures and span different abstraction levels (e.g. user code and run-time system code). It is extremely difficult to use one verification system (e.g. type system or Hoare-style program logic) to support all these features and abstraction levels. In our previous work, we have developed a new metho

表示向前

JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JMLng up with the evolution of Java is prohibitively high: e.g., Java 5 has yet to be fully supported. This paper presents JML4, our proposal for an Integrated Verification Environment (IVE) for JML that builds upon Eclipse’s support for Java, enhancing it with Run time Assertion Checking (RAC), Extend

易改变

Incremental Benchmarks for Software Verification Tools and Techniquesified Software Initiative. These benchmarks support assessment of verification tools and techniques to prove total correctness of functionality of sequential object-based and object-oriented software. The problems are designed to help evaluate the state-of-the-art and the pace of progress toward ver