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

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

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]
 Turingcomplete 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 widelyused 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. computeraided 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 twowave approximate...

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

KrohnRhodes
 Referenced in 4 articles
[sw08794]
 objectoriented programming in software development, formal methods for understanding in artificial intelligence...

ModelPlex
 Referenced in 4 articles
[sw23944]
 making cyberphysical 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 (Cmethods...