• MarCaSPiS

  • Referenced in 5 articles [sw06957]
  • also have developed ways for model-checking SoSL formulae against MarCaSPiS specifications by exploiting...
  • Mole

  • Referenced in 5 articles [sw09239]
  • project and with the Model-Checking Kit - its input is a low level Petri...
  • FocusCheck

  • Referenced in 3 articles [sw01298]
  • programs We present the FocusCheck model-checking tool for the verification and easy debugging ... thereby enhancing usability and readability of model-checking results...
  • jMocha

  • Referenced in 4 articles [sw24777]
  • model checker jMocha (Java MOdel-CHecking Algorithm) is based on this theme. Instead of manipulating...
  • Sylvan

  • Referenced in 4 articles [sw41639]
  • specialized list decision diagrams for model-checking. Both sequential and parallel BDD-based algorithms...
  • PoMMaDe

  • Referenced in 2 articles [sw37540]
  • PoMMaDe: pushdown model-checking for malware detection. We present PoMMaDe, a Pushd own Model-checking ... detection problem is reduced to SCTPL/SLTPL model-checking for PDSs. PoMMaDe allows us to detect...
  • AJPF

  • Referenced in 2 articles [sw28499]
  • potentially improves the efficiency of the model-checking process and provides access to richer property ... export of AJPF program models to both the SPIN and Prism model-checkers. We also ... overall efficiency of model-checking...
  • PTrie

  • Referenced in 3 articles [sw35790]
  • from the 2016 edition of the Model Checking Contest (MCC’16). We experimentally document that ... memory-intensive applications such as model-checking tools...
  • Orchids

  • Referenced in 3 articles [sw09807]
  • techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic...
  • Averist

  • Referenced in 3 articles [sw20133]
  • systems. It implements an abstraction based model-checking approach proposed in the earlier work...
  • Quasar

  • Referenced in 3 articles [sw01278]
  • model both by structural techniques and model-checking techniques; reporting deadlock or starvation results...
  • EtomCRL2

  • Referenced in 1 article [sw22064]
  • Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang. Model-checking programs is important ... approaches might be applied to model-check a system at a source code level ... directly apply model-checking algorithm to the programming language; the other to abstract the program ... methods have recently been investigated for model-checking the functional programming language Erlang. Correspondingly...
  • StrataGEM

  • Referenced in 1 article [sw09813]
  • concurrency by means of symbolic model-checking techniques. StrataGEM marries the well know concepts ... have demonstrated their efficiency for model-checking, but translating a system semantics into efficient ... operations on DD to handle the model-checking. The ultimate goal of StrataGEM ... model from the computation that performs model-checking...
  • Boom

  • Referenced in 2 articles [sw01318]
  • Boom: Taking Boolean program model checking one step further We present Boom, a comprehensive analysis ... focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent...
  • prob-black-reach

  • Referenced in 2 articles [sw34625]
  • deterministic choices. We present a black-box checking technique for stochastic systems that allows both ... involves model inference, testing and probabilistic model-checking. Here, we consider reachability checking...
  • DLC

  • Referenced in 2 articles [sw19394]
  • that enables formal verification such as model-checking. An LNT specification is made...
  • ProbDiVinE

  • Referenced in 2 articles [sw04134]
  • allows for both quantitative and qualitative model-checking. It is also strictly multi-threaded, therefore...
  • Gauss

  • Referenced in 2 articles [sw08835]
  • problem- driven advances in software model-checking applied to scientific computing software development and verification...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • interface to the verifier of Uppaal2k. A model-checker for automatic verification of safety ... space. Since version 3.2 it can also check liveness properties. Generation of diagnostic traces...
  • CoSA

  • Referenced in 1 article [sw41667]
  • verification for agile hardware design. Symbolic model-checking is a well-established tech- nique used ... formally verify, functional correctness. However, most modern model-checkers encode the problem into propositional satisfiability ... present CoSA (CoreIR Symbolic Analyzer), a model-checking tool for CoreIR designs. CoreIR...