
JastAdd
 Referenced in 23 articles
[sw01700]
 behavior can be modularized into different aspects, e.g. name analysis, type checking, code generation...

PIPER
 Referenced in 28 articles
[sw11478]
 fundamental issues in making model checking viable for software. This paper proposes new techniques ... automating abstraction and decomposition using source level type information provided by the programmer. Our system ... behavioral typeandeffect system for the πcalculus, which extracts sound models as types ... proof rule for carrying out compositional model checking on the types. Open simulation between...

TyPiCal
 Referenced in 8 articles
[sw23207]
 Calculus. TyPiCal is a typebased static analyzer for the picalculus. The current version ... answer, e.g., the following questions about the behavior of concurrent/distributed programs: Does the server eventually ... processes that do not affect the observable behavior of the process. The result ... such as model checkers). Information flow analyzer checks whether a process leaks information about secret...

momentuHMM
 Referenced in 8 articles
[sw21676]
 unlimited number of data streams and latent behavior states; 3) biased and correlated random walk ... cyclical and other complicated patterns; 8) model checking and selection; and 9) simulation. momentuHMM considerably ... package can be used for analyzing any type of data that is amenable to HMMs...

HighSpec
 Referenced in 1 article
[sw09750]
 interactive system for composing and checking OZTA specifications. The integrated high level specification language, OZTA ... modelling dynamic and realtime behaviors, OZTA is well suited for presenting complete and coherent ... realtime systems. HighSpec supports editing, typechecking as well as projecting OZTA models into ... capture high level timing requirements and process behaviors and generate the TA part of model...

RISCAL
 Referenced in 2 articles
[sw26269]
 describing mathematical algorithms and formally specifying their behavior with respect to userdefined theories ... based on a type system that constrains the size of all types by formal parameters ... allows the RISCAL software to fully automatically check in small instances the validity of theorems...

TRANSIT
 Referenced in 6 articles
[sw28674]
 With the maturing of technology for model checking and constraint solving, there is an emerging ... concrete execution fragments that describe the correct behavior in the specific scenario corresponding ... involving typical operators over commonly occurring types, (2) for a classical directorybased protocol, TRANSIT...

Nopol
 Referenced in 2 articles
[sw26884]
 passing test cases to model the expected behavior of the program and at least ... including primitive data types and objectedoriented features (e.g., nullness checks), to serve as building...

MpCCI Mapper
 Referenced in 1 article
[sw22569]
 dynamic behavior of the crash part. MpCCI Mapper allows to check the geometric compliance ... standard shell element and mesh types. The mapping works for different integration types as well...

ACL2
 Referenced in 281 articles
[sw00060]
 ACL2 is both a programming language in which...

CoCoA
 Referenced in 639 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

GAP
 Referenced in 3003 articles
[sw00320]
 GAP is a system for computational discrete algebra...

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1776 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3055 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5220 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6129 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12721 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NAG
 Referenced in 420 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 579 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...