• KLEE

  • Referenced in 45 articles [sw04894]
  • Tests for Complex Systems Programs. Symbolic execution tool, KLEE, capable of automatically generating tests that ... intensive programs. We used KLEE to thoroughly check all 89 stand-alone programs ... suite, which form the core user-level environment installed on millions of Unix systems ... most heavily tested set of open-source programs in existence. KLEE-generated tests achieve high...
  • ASF+SDF

  • Referenced in 35 articles [sw11316]
  • environment for the automatic generation of interactive systems for constructing language definitions and generating tools ... academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems. Since ... existing implementation of the ASF+SDF Meta-environment started exhibiting more and more characteristics...
  • ASPIDE

  • Referenced in 14 articles [sw06309]
  • environment for answer set programming. Answer Set Programming (ASP) is a truly-declarative programming paradigm ... last few years, several tools for ASP-program development have been proposed, including (more ... Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing ... integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion...
  • APE

  • Referenced in 5 articles [sw30402]
  • AnsProlog* Environment. It has been recognised that better programming tools are required to support ... programming in ASP that require better support need to be investigated, and suitable tools ... implementing an Integrated Development Environment (IDE) for ASP, the AnsProlog * Programming Environment ... itself composed of a set of programming tools, this approach is used to identify...
  • ActHEX

  • Referenced in 6 articles [sw30409]
  • convenient tool for connecting stateful external environments to logic programs. In the acthex framework, actual...
  • Access

  • Referenced in 61 articles [sw03704]
  • graphical user interface and software-development tools. It is a member of the Microsoft Office ... Visual Basic for Applications, an object-oriented programming language that can reference a variety ... methods and properties in the VBA programming environment, and VBA code modules may declare...
  • Auditory Toolbox

  • Referenced in 13 articles [sw12358]
  • tools that implement several popular auditory models for a numerical programming environment called MATLAB. This...
  • Ebimage

  • Referenced in 12 articles [sw18998]
  • programming language and use of existing tools in the R environment for signal processing, statistical...
  • VAMPIR

  • Referenced in 20 articles [sw09406]
  • program behavior. One option to get this information is tracing. Based on the research tool ... PARvis, the visualization environment VAMPIR was developed at KFA which now supports the new message...
  • JCell

  • Referenced in 21 articles [sw13353]
  • combinatorial optimization, integer programming, continuous optimization, and multi-objective environments, all this with or without ... consider JCell a really interesting and useful tool for future research, since it allows ... implemented in Java, a very well-known programming language that allows to execute our code...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • tool SeaLion, aimed to serve as an integrated development environment (IDE) for answer-set programming ... environment for supporting a developer to write, evaluate, debug, and test answer-set programs ... answer-set program development in whose context SeaLion is realised. Currently, the tool provides source...
  • FShell

  • Referenced in 8 articles [sw14481]
  • verification. Our tool FShell provides a versatile testing environment for C programs which supports both ... which dispatches queries about the program to program analysis tools. We report on the integration...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • colored extension: Stochastic Well-formed Nets. The tool provides a friendly framework to experiment with ... examples. GreatSPN2.0 is composed of many separate programs that cooperate in the construction and analysis ... different machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • PLUMP

  • Referenced in 14 articles [sw00718]
  • this environment provides a parallelization support tool (PST) to supplement the data-parallel programming language...
  • Pyomo

  • Referenced in 72 articles [sw04910]
  • supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible, and portable ... language. Python is a powerful and dynamic programming language that has a very clear, readable ... interface and within Python’s interactive command environment, which makes it easy to create Pyomo...
  • STAMP

  • Referenced in 45 articles [sw09536]
  • irregular. It provides a user-friendly environment for the analysis, modelling and forecasting of time ... tool to make interactive structural time series modelling available for empirical work. Another such tool ... which provides more general procedures for the programming interface...
  • HyperChem

  • Referenced in 13 articles [sw20659]
  • HyperChem is a sophisticated molecular modeling environment that is known for its quality, flexibility ... more molecular modeling tools at your fingertips than any other Windows program...
  • Metatool

  • Referenced in 23 articles [sw13278]
  • Summary: Elementary modes analysis is a powerful tool in the constraint-based modeling of metabolic ... consequence, the program Metatool, which is one of the first programs dedicated to this purpose ... Matlab environments to allow more flexible usage and integration with other tools...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • embedded computer and its external environment. For this purpose we use the formal model ... allows the use of results, algorithms and tools available. Here, we use the KRONOS model ... application, an ESTEREL program annotated with temporal constraints, the TAXYS tool produces ... with a timed model of the external environment in order to obtain a global model...
  • PROSPER

  • Referenced in 25 articles [sw10386]
  • Design Environments) project advocates the use of toolkits which allow existing verification tools ... treated as components. A system incorporating such tools becomes another component that can be embedded ... implemented in several common programming languages to allow a wide variety of tools to have...