• PVeStA

  • Referenced in 17 articles [sw08423]
  • Statistical model checking is an attractive formal analysis method for probabilistic systems such...
  • Isar

  • Referenced in 141 articles [sw04599]
  • abstraction for user-level work. The Isar formal proof language has been designed to satisfy ... integrates a broad range of automated proof methods. Interactive proof development is supported directly ... system provides an interpreter for the Isar formal proof document language. Isabelle/Isar input consists either...
  • ANNA

  • Referenced in 10 articles [sw36323]
  • processable annotations so that well established formal methods of specification and documentation can be applied ... constructs except tasking. Similar extensions for formal specification can be made to other Algol-like...
  • NASA PVS

  • Referenced in 10 articles [sw28648]
  • maintained by the NASA Langley Formal Methods Team and is part of the PVS research...
  • VeriFun

  • Referenced in 10 articles [sw22187]
  • been used in beginner courses about Formal Methods as well as in practical courses about...
  • Truth/SLC

  • Referenced in 8 articles [sw01623]
  • correctness of their implementation. Formal specification and verification methods are therefore becoming more and more ... view of the inherent complexity of formal methods it is desirable to provide the user...
  • IsaWin

  • Referenced in 8 articles [sw04899]
  • these provers and encapsulations of formal methods. In this problem domain, particular attention...
  • CoLoR

  • Referenced in 38 articles [sw09806]
  • Turing-complete formalism of term rewriting. Over the years, many methods and tools have been...
  • OPERAS

  • Referenced in 4 articles [sw30593]
  • that the use of a formal framework and methods would facilitate modelling ... alternative is to use existing formal methods thus exploiting their legacy. In this paper ... modelling of MAS through employing existing formal methods. We describe how a particular instance ... demonstrate how the resulting method can be used to formally model a swarm system...
  • B4Free

  • Referenced in 6 articles [sw07085]
  • tool enabling the operational use of formal Method B for proven software development...
  • Z2sal

  • Referenced in 6 articles [sw07087]
  • correctly. To aid in the process, formal methods use mathematics in the specification ... Notation, a widely-used formal specification language. Z has been very successful in academia...
  • JUnit

  • Referenced in 31 articles [sw07262]
  • uses a formal specification language’s runtime assertion checker to decide whether methods are working ... writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes...
  • ForMaRE

  • Referenced in 3 articles [sw08774]
  • results, and to foster interest in formal methods, i.e. computer-aided reasoning, within economics ... formal methods, we seek to contribute user experience feedback from new audiences, as well ... conducting research that connects economics and formal methods, we organise events and provide infrastructure...
  • VeriCon

  • Referenced in 5 articles [sw16297]
  • opens up the possibility of applying formal methods to prove the correctness of computer networks...
  • ECHO

  • Referenced in 22 articles [sw22269]
  • capturing conservative method able to work at an arbitrary level of formal accuracy (for smooth ... framework, based on the 3+1 Eulerian formalism, allowing for different sets of equations, different ... Einstein’s equations. Various high order reconstruction methods are implemented and a two-wave approximate...
  • Liss

  • Referenced in 4 articles [sw20205]
  • version of Liss for our FMSD (Formal Methods in System Design, CAV15 special edition) submission...
  • Krohn-Rhodes

  • Referenced in 4 articles [sw08794]
  • object-oriented programming in software development, formal methods for understanding in artificial intelligence...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • making cyber-physical systems (CPS) safe. Formal methods make strong guarantees about the system behavior...
  • Gauss

  • Referenced in 2 articles [sw08835]
  • There is very little use of formal methods to debug software in this area, given ... scientific computing community and the formal methods community have not traditionally worked together. The Utah ... combines expertise from scientific computing and formal methods in addressing this problem. We currently focus ... that extracts from MPI C programs a formal model consisting of communicating processes represented...
  • ReLaTIve

  • Referenced in 8 articles [sw07068]
  • inversion of the Laplace transform, formally characterized as collocation methods (C-methods...