
PVS
 Referenced in 629 articles
[sw03484]
 stateoftheart in mechanized formal methods and to be sufficiently rugged that...

Java PathFinder
 Referenced in 123 articles
[sw07658]
 broader attempt to make formal methods applicable within NASA’s areas such as space, aviation ... continuation of an effort to formally analyze, using SPIN, a multithreaded operating system...

PPL
 Referenced in 101 articles
[sw05357]
 played an important role in the formal methods community and several critical tasks rely...

Isabelle/Isar
 Referenced in 95 articles
[sw02006]
 Building formal method tools in the Isabelle/Isar framework  siehe Isar...

RRL
 Referenced in 55 articles
[sw28904]
 tool for investigating the use of formal methods in hardware and software design. We provide...

CompCert
 Referenced in 49 articles
[sw09737]
 that can be obtained by applying formal methods to source programs. The main result...

TRIC
 Referenced in 47 articles
[sw02165]
 naturalmode finite element method formalized through appropriate geometrical, trigonometrical and enigneering mathematical relations...

Paramils
 Referenced in 86 articles
[sw00678]
 this algorithm configuration problem. More formally, we provide methods for optimizing a target algorithm...

UNITY
 Referenced in 185 articles
[sw13461]
 Mechanical methods for mapping the transition systems first into a set of formal assertions, permitting...

Alcoa
 Referenced in 28 articles
[sw09481]
 other end, it embodies a lightweight formal method in which subtle properties of behaviour...

Isabelle/PIDE
 Referenced in 13 articles
[sw07185]
 obstructing the view on applications of formal methods, formalized mathematics, and math education in particular...

FLAME
 Referenced in 39 articles
[sw00293]
 simplified. In combination with our formal linear algebra methods environment (FLAME) approach to deriving such...

spatstat
 Referenced in 140 articles
[sw04429]
 fitting, simulation, spatial sampling, model diagnostics, and formal inference. Data types include point patterns, line ... spatial windows, pixel images and tessellations. Exploratory methods include Kfunctions, nearest neighbour distance ... simulated automatically. Also provides facilities for formal inference (such as chisquared tests) and model...

JavaMaC
 Referenced in 11 articles
[sw20000]
 architecture. MaC is a lightweight formal method solution which works as a viable complement ... current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation...

RAISE
 Referenced in 15 articles
[sw03248]
 RAISE tools. The use of a formal method is often seen in terms...

mural
 Referenced in 9 articles
[sw23627]
 more concrete and by decomposing operations. Formal methods ensure that the version resulting from such ... lead to proofs of considerable size, formal methods cannot be used without appropriate support tools ... least of another formal method, it is difficult to read.par The book is divided into ... recommended to researchers in the field of formal program development...

NESTOR
 Referenced in 27 articles
[sw22096]
 knowledgebased methods within a formal probability theory framework. A user interface module gives ... three tasks, and the details of the methods used to address them. In addition...

Korat
 Referenced in 33 articles
[sw07259]
 Java programs. Given a formal specification for a method, Korat uses the method precondition...

UniForM
 Referenced in 8 articles
[sw10332]
 workbench a universal development environment for formal methods. The UniForM Workbench supports combination of Formal...

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