• Chapar

  • Referenced in 4 articles [sw22667]
  • site crashes and network partitions. Theoretical results state that causal consistency ... present a framework called Chapar for modular verification of causal consistency for replicated key-value ... automatic model checker for the correctness of client programs. The two independently verified results...
  • DynaMate

  • Referenced in 2 articles [sw14286]
  • automatic full functional verification. DYNAMATE is a tool that automatically infers loop invariants and uses ... postconditions, it automatically discharged over 97% of all proof obligations, resulting in automatic complete correctness...
  • LBT

  • Referenced in 1 article [sw29441]
  • Wolper. Simple on-the-fly automatic verification of linear temporal logic. PSTV’95, Fifteenth International ... PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, Warsaw, Poland, 1995. The resulting automaton may be used...
  • SeVe

  • Referenced in 2 articles [sw06547]
  • SeVe: automatic tool for verification of security protocols Security protocols play more and more important ... this framework, and the verification algorithms are also given. The results of this paper ... simulating, and verifying security protocols. The experimental results show that a SeVe module is capable ... also proves the ability in building an automatic verifier for security protocols related to privacy...
  • REFINER

  • Referenced in 3 articles [sw24290]
  • REFINER: Towards Formal Verification of Model Transformations. We present the Refiner tool, which offers techniques ... model until it is concrete enough to automatically generate source code from it. Properties that ... existing model checking toolsets mCRL2 and Cadp, resulting in a complete model checking approach...
  • AutoGrader

  • Referenced in 0 articles [sw30353]
  • automatic program repair methods follow the process of defect location, candidate generation, candidate verification. However ... repair result cannot be guaranteed. This study proposes a method for automatic repair of defects ... repair rate. Finally, in the candidate-verification process, the method of program synthesis is used ... experimented on student program. The experimental results show that the proposed method has a high...
  • RUGVEF

  • Referenced in 1 article [sw09868]
  • Automatic testing of real-time graphics systems. In this paper we deal with the general ... verification of real-time graphics systems. In particular we present the Runtime Graphics Verification Framework ... RUGVEF), where we combine techniques from runtime verification and image analysis to automate testing ... Swedish Broadcasting Corporation. We report on experimental results from the evaluation, in particular the discovery...
  • ARIAL

  • Referenced in 1 article [sw02284]
  • functional visualization and verification of signal or image-processing applications. An automatic translator is created ... henceforth the manual translation stage. As a result, a signal-processing designer develops complex applications...
  • Codecharts

  • Referenced in 2 articles [sw09151]
  • scope to visual specifications that articulate automatically-verifiable statements about the structure and organization ... level of abstraction. We describe {it design verification}, a process of proving or refuting that ... fully-automated design verification tool. We conclude with empirical results which suggest gains in both...
  • Vooduu

  • Referenced in 1 article [sw06300]
  • check on both views, i.e., it verifies automatically whether a family of UML statecharts modelling ... diagram. The verification is performed by the model checker UPPAAL. The results are retranslated into...
  • ATCase

  • Referenced in 0 articles [sw25243]
  • solving. The existing symbolic execution approach of automatic test case generation is defective because ... solving nonlinear constrains, which make the result not satisfactory. For this deficiency, a test case ... polynomial system solving technique and interval verification is provided. Concretely, for the difficulty of solving ... scale problems. For the inaccuracy results from computation, we make good use of interval arithmetic...
  • Aligator

  • Referenced in 10 articles [sw00029]
  • We describe the new software package Aligator for...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...