• CoLoR

  • Referenced in 31 articles [sw09806]
  • relations and its application to the automated verifications of termination certificates. Termination is an important ... issue. We present a library formalising important results of the theory of well-founded (rewrite ... also present its application to the automated verification of termination certificates, as produced by termination...
  • visualSTATE

  • Referenced in 9 articles [sw07481]
  • state/event models. It makes possible automated verification of large industrial designs with ... model with 1421 concurrent machines). The results of the paper are being implemented...
  • Codecharts

  • Referenced in 2 articles [sw09151]
  • fully-automated design verification tool. We conclude with empirical results which suggest gains in both...
  • Aximo

  • Referenced in 4 articles [sw15031]
  • Aximo: Automated Axiomatic Reasoning for Information Update. Aximo is a software written in C++ that ... theoretical result: the worst case complexity of the verification problem of Aximo...
  • SAT competition

  • Referenced in 8 articles [sw04623]
  • software verification, etc.) to submit benchmarks to be used for the competition. The result ... such approach. The competition will be completely automated using the SAT-Ex system...
  • BIOMET

  • Referenced in 10 articles [sw02474]
  • constant evolution of man-machine interaction modes. Automated authentication of people could be used ... each modality are given. Preliminary monomodal verification results, obtained on a subcorpus of the BIOMET...
  • ProMoVer

  • Referenced in 4 articles [sw06738]
  • automates a typical verification scenario for a previously developed tool set for compositional verification ... reuse that detects and minimizes the verification tasks resulting from changes in the code...
  • RDP2

  • Referenced in 1 article [sw23041]
  • SISTER SCANNING. The program enables fast automated analysis of large alignments (up to 300 sequences ... sites), and interactive exploration, management and verification of results with different recombination detection and tree...
  • DyTa

  • Referenced in 3 articles [sw22848]
  • dynamic symbolic execution guided with static verification results. Software-defect detection is an increasingly important ... detect defects in a program, static verification and dynamic test generation are two important proposed ... these techniques face their respective issues. Static verification produces false positives, and on the other ... limitations of static verification and dynamic test generation, we present an automated defect-detection tool...
  • LightDP

  • Referenced in 2 articles [sw22665]
  • LightDP: towards automating differential privacy proofs. The growing popularity and adoption of differential privacy ... academic and industrial settings has resulted in the development of increasingly sophisticated algorithms for releasing ... algorithms, thus demonstrating the necessity of formal verification tools. However, existing formal methods for differential...
  • verifier

  • Referenced in 1 article [sw12878]
  • presents a formal framework for semi-automated verification of security proofs of quantum cryptographic protocols ... quantum process calculus qCCS so that verification of weak bisimilarity of configurations becomes easier ... verification of Shor and Preskill’s unconditional security proof of BB84. As a result...
  • RUGVEF

  • Referenced in 1 article [sw09868]
  • combine techniques from runtime verification and image analysis to automate testing of graphics systems ... Swedish Broadcasting Corporation. We report on experimental results from the evaluation, in particular the discovery...
  • Anica

  • Referenced in 1 article [sw22198]
  • verification. Anica provides the following features: Verification of a complete assigned Petri net; Characterization ... violation of non-interference; Providing a fully automated use of the toolchain; Coloring Petri nets ... confidence levels; Coloring Petri nets with checked results; Certificate-like result files...
  • HOLCF

  • Referenced in 2 articles [sw25266]
  • state of the art in program verification: HOLCF ’11 can reason about many program definitions ... while providing a high degree of proof automation. The soundness of the system is ensured ... results. As a case study, we present a fully mechanized verification of a model...
  • Vooduu

  • Referenced in 1 article [sw06300]
  • statechart diagrams. Our tool Vooduu performs an automated consistency check on both views ... diagram. The verification is performed by the model checker UPPAAL. The results are retranslated into...
  • AXIOM

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

  • Referenced in 9 articles [sw00128]
  • CirCUs is a satisfiability solver that works on...
  • CoCoA

  • Referenced in 543 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CUTE

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