• Smallfoot

  • Referenced in 53 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic. Separation logic is a program logic ... hiding in the presence of pointers; and modular reasoning about concurrent programs...
  • Bebop

  • Referenced in 73 articles [sw08928]
  • implicitly using BDDs. By harnessing the inherent modularity in procedural abstraction and exploiting the locality...
  • SODAS

  • Referenced in 70 articles [sw00885]
  • Symbolic Official Data Analysis System) is a modular software in which each statistical method (symbolic...
  • Mercury

  • Referenced in 69 articles [sw08333]
  • problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs...
  • TRLan

  • Referenced in 68 articles [sw04029]
  • Since the software is highly modularized, it relatively easy to adopt it for different type...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • OMNeT++ is an extensible, modular, component-based C++ simulation library and framework, primarily for building...
  • ALF

  • Referenced in 67 articles [sw08603]
  • proof object containing placeholders. A modular type/proof checking algorithm for complete proof objects is presented...
  • MODFLOW

  • Referenced in 63 articles [sw08690]
  • when first published in 1984, MODFLOW’s modular structure has provided a robust framework...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • higher) layer only via these APIs. The modular implementation enables consistent comparison of multiple protocols...
  • MFEM

  • Referenced in 58 articles [sw09043]
  • MFEM is a general, modular, parallel C++ library for finite element methods research and development...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • machines in a distributed computing environment. The modular structure of GreatSPN2.0 makes it open...
  • iProver

  • Referenced in 56 articles [sw09707]
  • distinctive features of iProver is a modular combination of instantiation and propositional reasoning. In particular...
  • PRONTO3D

  • Referenced in 55 articles [sw03448]
  • element programs has been implemented in a modular way for multiple-instruction multiple-data parallel...
  • SWIG

  • Referenced in 54 articles [sw04607]
  • problem solving environment and they form a modular framework for controlling software components written...
  • LiDIA

  • Referenced in 53 articles [sw00518]
  • however. Emphasis is put on easy usability, modularity (e.g. it can be used with different...
  • SIGNAL

  • Referenced in 52 articles [sw02915]
  • very high-level specification and an extremely modular implementation of complex systems by structurally decomposing...
  • Quantum Espresso

  • Referenced in 52 articles [sw06129]
  • QUANTUM ESPRESSO: a modular and open-source software project for quantum simulations of materials. QUANTUM...
  • HiLog

  • Referenced in 51 articles [sw01580]
  • discussed, including DCG grammars, higher-order and modular logic programming, and deductive databases...
  • MMT

  • Referenced in 49 articles [sw07136]
  • notions of well-formedness and equivalence of modular mathematical theories. Thus, it provides an interface...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • Enterprise Application Platform 7 provides an innovative modular, cloud-ready architecture, powerful management and automation...