• z3

  • Referenced in 413 articles [sw04887]
  • integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These...
  • FEAPpv

  • Referenced in 291 articles [sw10822]
  • FEAPpv A Finite Element Analysis Program: Personal Version. FEAPpv is a general purpose finite element ... analysis program which is designed for research and educational use (If you are looking...
  • clusfind

  • Referenced in 348 articles [sw27805]
  • stand-alone Fortran programs for cluster analysis. The programs are described and illustrated...
  • Datalog

  • Referenced in 271 articles [sw20023]
  • data integration, information extraction, networking, program analysis, security, and cloud computing.[1] Its origins date ... back to the beginning of logic programming, but it became prominent as a separate area...
  • FEAP

  • Referenced in 139 articles [sw04963]
  • Finite Element Analysis Program. FEAP is a general purpose finite element analysis program which...
  • MACSYMA

  • Referenced in 689 articles [sw01209]
  • computations by means of a large Macsyma program. Macsyma offers: symbolic and numeric manipulation ... numerical analysis 2D and 3D report-quality graphics interactive scientific notebooks a user programming environment...
  • Bandera

  • Referenced in 133 articles [sw07663]
  • integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model ... temporal specification language, and it generates a program model and specification in the input language...
  • ESC/Java

  • Referenced in 131 articles [sw07217]
  • errors in JML-annotated Java programs by static analysis of the program code...
  • JAGS

  • Referenced in 131 articles [sw08040]
  • Another Gibbs Sampler. It is a program for analysis of Bayesian hierarchical models using Markov...
  • MapReduce

  • Referenced in 205 articles [sw00546]
  • parallel programming model initially developed for large-scale web content processing. Data analysis meets ... data analysis applications. The translation and optimization from relational algebra operators to MapReduce programs ... focus on a special type of data analysis query, namely multiple group by query...
  • LIE

  • Referenced in 78 articles [sw09264]
  • program for Lie analysis of differential equations. LIE is a self-contained PC program ... analysis of ordinary or partial differential equations, either a single equation or a simultaneous ... comes as a complete program that incorporates the necessary parts of MUMATH and is ready ... previous version was for classical Lie analysis, finding the point symmetries of well-posed differential...
  • SERBA

  • Referenced in 144 articles [sw01160]
  • elastostatics analysis SERBA is a FORTRAN77 program which applies the boundary element method to solve...
  • WinBUGS

  • Referenced in 557 articles [sw04492]
  • click’ windows interface for controlling the analysis, or can construct the model using a graphical ... called DoodleBUGS. WinBUGS is a stand-alone program, although it can be called from other...
  • SPSS

  • Referenced in 408 articles [sw04269]
  • SPSS is a computer program used for survey authoring and deployment (IBM SPSS Data Collection ... mining (IBM SPSS Modeler), text analytics, statistical analysis, and collaboration and deployment (batch and automated...
  • SYMMGRP

  • Referenced in 114 articles [sw01066]
  • SYMMGRP.MAX and other symbolic programs for Lie symmetry analysis of partial differential equations symmgrp.max...
  • BEAN

  • Referenced in 58 articles [sw09636]
  • integrals. Chapter 11: BEAN: Boundary Element ANalysis program...
  • UNITY

  • Referenced in 166 articles [sw13461]
  • Simulation model development and analysis in UNITY. We evaluate UNITY -- a computational model, specification language ... distributed programs -- as a platform for simulation model specification and analysis. We describe a UNITY ... based methodology for the construction, analysis and execution of simulation models. The methodology starts with ... transition systems, and second into an executable program are described. The methodology provides a means...
  • NewtonLib

  • Referenced in 234 articles [sw04796]
  • invariant convergence analysis. Part of these algorithms are presented as informal programs in the text...
  • CPAchecker

  • Referenced in 39 articles [sw07408]
  • combination of explicit-state analysis and predicate analysis. (Competition contribution) CPAchecker is an open-source ... based on the concepts of configurable program analysis (CPA). We submit a CPAchecker configuration that...
  • CIL

  • Referenced in 32 articles [sw26691]
  • language and tools for analysis and transformation of C programs. This paper describes ... that permit easy analysis and source-to-source transformation of C programs. Compared ... found to be most confusing for program analysis and transformation. We also describe a whole...