• 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 type-and-effect 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 type-based static analyzer for the pi-calculus. 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 real-time behaviors, OZTA is well suited for presenting complete and coherent ... real-time systems. HighSpec supports editing, type-checking 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 user-defined 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 directory-based 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 objected-oriented 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 high-level language and interactive...
  • NAG

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

  • Referenced in 579 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...