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

Java PathFinder
 Referenced in 104 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 52 articles
[sw05357]
 played an important role in the formal methods community and several critical tasks rely...

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

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

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

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

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

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

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

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

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

DisCo
 Referenced in 6 articles
[sw10393]
 DisCo Toolset  the new generation. Formal methods have been considered one possible solution ... crisis. Tools are valuable companions to formal methods: they assist in analysis and understanding ... toolset is given. DisCo is a formal specification method for reactive and distributed systems...

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

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

JavaMaC
 Referenced in 5 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...

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

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

Isar
 Referenced in 84 articles
[sw04599]
 abstraction for userlevel 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...