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影響因子(影響力)學(xué)科排名




書目名稱Verified Software: Theories, Tools, Experiments網(wǎng)絡(luò)公開度




書目名稱Verified Software: Theories, Tools, Experiments網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Verified Software: Theories, Tools, Experiments被引頻次




書目名稱Verified Software: Theories, Tools, Experiments被引頻次學(xué)科排名




書目名稱Verified Software: Theories, Tools, Experiments年度引用




書目名稱Verified Software: Theories, Tools, Experiments年度引用學(xué)科排名




書目名稱Verified Software: Theories, Tools, Experiments讀者反饋




書目名稱Verified Software: Theories, Tools, Experiments讀者反饋學(xué)科排名

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