• AUSM

  • Referenced in 328 articles [sw06367]
  • number limit. Specifically, we employ asymptotic analysis to formally derive proper scalings for the numerical...
  • LOF

  • Referenced in 109 articles [sw19311]
  • surrounding neighborhood. We give a detailed formal analysis showing that LOF enjoys many desirable properties...
  • K Prover

  • Referenced in 45 articles [sw32257]
  • well as type systems or formal analysis tools can be defined, making use of configurations...
  • ESC/Java

  • Referenced in 137 articles [sw07217]
  • programs by static analysis of the program code and its formal annotations. Users can control...
  • JavaFAN

  • Referenced in 32 articles [sw01934]
  • Formal analysis of Java programs in JavaFAN. JavaFAN is a Java program analysis framework, that ... lines of Maude code, specifying formally the semantics of Java and JVM in rewriting logic...
  • spatstat

  • Referenced in 143 articles [sw04429]
  • exploratory data analysis, model-fitting, simulation, spatial sampling, model diagnostics, and formal inference. Data types...
  • Archive Formal Proofs

  • Referenced in 181 articles [sw28613]
  • Archive of Formal Proofs. The Archive of Formal Proofs is a vast collection of computer ... assistant Isabelle. We perform an in-depth analysis of the archive, looking at various properties ... gives some insights into the nature of formal proofs...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions...
  • Bio-PEPA

  • Referenced in 108 articles [sw01361]
  • process algebra for the modelling and the analysis of biochemical networks. It is a modification ... intermediate, formal, compositional representation of biological systems, on which different kindsof analysis can be carried...
  • PVeStA

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

  • Referenced in 19 articles [sw01803]
  • more effective design, program understanding, and formal analysis. However, existing approaches decouple implementation code from...
  • K tool

  • Referenced in 18 articles [sw09746]
  • which programming languages, type systems, and formal analysis tools can be defined using configurations, computations...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • electronic-system design that supports simulation, formal analysis, and synthesis...
  • scyther

  • Referenced in 16 articles [sw09467]
  • order to provide secure communication. The analysis of such security protocols has turned ... This has driven the research in formal analysis of security protocols. Unfortunately, there ... efficient protocols, and work on concise formal logics that might allow one to easily prove...
  • UNITY

  • Referenced in 185 articles [sw13461]
  • UNITY-based methodology for the construction, analysis and execution of simulation models. The methodology starts ... transition systems first into a set of formal assertions, permitting formal verification of the transition...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same ... modeling study. For the analysis of logical behavior, both explicit and symbolic state-space generation ... that allows for easy integration of new formalisms and solution algorithms...
  • ToscanaJ

  • Referenced in 19 articles [sw05411]
  • Java reimplementation of the classic Formal Concept Analysis frontend Toscana. It was built using software...
  • VPM

  • Referenced in 11 articles [sw07364]
  • Kripke automaton, process algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions ... underlying mathematics, which hinders the use of formal specification techniques in industrial applications...
  • HOL-Z

  • Referenced in 11 articles [sw02996]
  • then allows for the formal analysis of such specifications, i.e. by - proving the conjectures stated...
  • RAMSES

  • Referenced in 41 articles [sw18064]
  • grid, reaching a formal resolution of 81923. A convergence analysis of different quantities, such...