• MiniMaxSat

  • Referenced in 36 articles [sw09732]
  • soft clauses (clauses whose falsification is penalized by a cost...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • translated to IF.par OFMC performs both protocol falsification and bounded session verification by exploring...
  • scyther

  • Referenced in 16 articles [sw09467]
  • scyther tool: verification, falsification, and analysis of security protocols. With the rise of the Internet ... effective approach so far has been automated falsification or verification of such protocols with state...
  • S-TaLiRo

  • Referenced in 22 articles [sw09775]
  • TaLiRo: A tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab...
  • DiVer

  • Referenced in 10 articles [sw01938]
  • over a network of workstations for falsification, Proof-based Iterative Abstraction (PBIA) for model reduction...
  • sitar

  • Referenced in 2 articles [sw40191]
  • Stochastic local search for falsification of hybrid systems. Falsification techniques for models of embedded control ... quantitative correctness requirements. A recent advance in falsification is to encode property satisfaction ... problem. In this paper, we present a falsification technique that uses a local search technique...
  • RISCAL

  • Referenced in 2 articles [sw26269]
  • errors respectively inadequacies in the formalization by falsification in small model instances before attempting actual...
  • VERIFAI

  • Referenced in 2 articles [sw32550]
  • illustrated with examples, including temporal-logic falsification, model-based systematic fuzz testing, parameter synthesis, counterexample...
  • DyverseRBT

  • Referenced in 1 article [sw41812]
  • mechanical systems and its application to the falsification of safety properties. What if we designed ... mechanical systems. We show this by the falsification of safety properties over the transition system...
  • IGUANA

  • Referenced in 1 article [sw14422]
  • particular statement in a program, or the falsification of an assertion statement. The IGUANA tool...
  • Nitpick

  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • NuSMV

  • Referenced in 312 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Why3

  • Referenced in 135 articles [sw04438]
  • Why3 is a platform for deductive program verification...
  • Spec#

  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • Casper

  • Referenced in 95 articles [sw06559]
  • A Compiler for the Analysis of Security Protocols...
  • ESC/Java

  • Referenced in 137 articles [sw07217]
  • The Extended Static Checker for Java version 2...