• Verics

  • Referenced in 6 articles [sw09464]
  • paper presents a new tool for automated verification of Timed Automata as well as protocols...
  • LegalRuleML

  • Referenced in 6 articles [sw30411]
  • reasoning with LegalRuleML. In order to automate verification process, regulatory rules written in natural language ... effects, which is an important aspect in automated compliance checking. This paper presents an approach...
  • GEZEL

  • Referenced in 6 articles [sw04151]
  • Semantics and verification of a language for modelling hardware architectures In this paper we consider ... semantic domain for Gezel. Aiming at automated verification we relate this domain to the timed...
  • Viper

  • Referenced in 8 articles [sw15038]
  • infrastructure for permission-based reasoning. The automation of verification techniques based on first-order logic...
  • BWare

  • Referenced in 5 articles [sw10405]
  • mechanized framework to support the automated verification of proof obligations coming from the development...
  • VeriFun

  • Referenced in 10 articles [sw22187]
  • VeriFun is a reasoning system for verification of statements about programs written in a simple ... system for teaching Automated Reasoning, Semantics, Verification and similar subjects and has been used...
  • verifier

  • Referenced in 3 articles [sw12878]
  • Semi-automated verification of security proofs of quantum cryptographic protocols. This paper presents a formal ... framework for semi-automated verification of security proofs of quantum cryptographic protocols. We simplify...
  • HOL-Boogie

  • Referenced in 14 articles [sw00409]
  • verification conditions -- constructed via a wp calculus from these annotations -- are usually transferred to automated ... specific techniques combining automated and interactive proof methods for code-verification.\parWe will exploit...
  • Truth/SLC

  • Referenced in 8 articles [sw01623]
  • correctness of their implementation. Formal specification and verification methods are therefore becoming more and more ... There is one particularly successful automated approach to verification, called model checking, in which...
  • TCAS

  • Referenced in 5 articles [sw21413]
  • theory that regulates the controlled airspace. This verification step is currently realized with manual code ... capabilities of Constraint Programming for automated software verification and testing. We built a dedicated constraint...
  • miTLS

  • Referenced in 3 articles [sw27823]
  • carefully structured to enable its modular, automated verification, from its main API down to computational...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • StocHy: automated verification and synthesis of stochastic processes. StocHy is a software tool...
  • ProMoVer

  • Referenced in 4 articles [sw06738]
  • ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method ... natural instantiation of the modular verification paradigm, where correctness of global properties is relativized ... code for open platforms). ProMoVer automates a typical verification scenario for a previously developed tool...
  • PSync

  • Referenced in 5 articles [sw17450]
  • fault-tolerant distributed algorithms and enables automated formal verification. We have implemented an embedding...
  • SAD

  • Referenced in 14 articles [sw09796]
  • System for automated deduction (SAD): A tool for proof verification. In this paper a proof...
  • MOPS

  • Referenced in 23 articles [sw10117]
  • manual verification is too expensive, we have built a program analysis tool to automate this...
  • TVT

  • Referenced in 2 articles [sw09811]
  • collection of programs for automated verification of concurrent and reactive systems. TVT has its roots...
  • JBernstein

  • Referenced in 2 articles [sw19486]
  • arithmetic constraints is essential in many automated verification and synthesis tasks for hybrid systems, control...
  • Guardol

  • Referenced in 2 articles [sw28543]
  • Guardol Language and Verification System. Guardol is a domain-specific language designed to facilitate ... programs and also provides specification and automated verification support. Guard programs and specifications are translated...
  • SANDLog

  • Referenced in 2 articles [sw13794]
  • adversarial environment. As a step towards automated verification, we implement a verification condition generator (VCGen...