
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, modelfitting, 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 indepth 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...

BioPEPA
 Referenced in 108 articles
[sw01361]
 process algebra for the modelling and the analysis of biochemical networks. It is a modiﬁcation ... 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]
 electronicsystem 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]
 UNITYbased 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 statespace 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...

HOLZ
 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...