• SLMC

  • Referenced in 71 articles [sw04604]
  • calculus systems against safety, liveness, and structural properties expressed in the spatial logic for concurrency ... crucial to reason about spatial properties and structural dynamics. The SLMC is the only currently...
  • Abella

  • Referenced in 49 articles [sw09461]
  • Abella [3] is an interactive system for reasoning about aspects of object languages that have ... syntactic structure. Abella utilizes a two-level logic approach to specification and reasoning. One level ... structural semantics rules and also enables their execution. The second level, called the reasoning logic...
  • Smallfoot

  • Referenced in 52 articles [sw09787]
  • program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot ... data structures rather than their detailed contents, and this allows reasoning to be fully automatic...
  • Beluga

  • Referenced in 25 articles [sw01321]
  • investigate programming and reasoning with data structures that provide support for binders. Many object languages...
  • CP-nets

  • Referenced in 133 articles [sw01374]
  • Nets) is a tool for representing and reasoning with condition ceteris paribus preference statements ... class of binary-valued, tree-structured CP-nets, which is conducted on the basis...
  • QuBE++

  • Referenced in 28 articles [sw00766]
  • first QBF reasoning engine that uses lazy data structures both for unit clauses propagation...
  • PRIMME

  • Referenced in 42 articles [sw04023]
  • Hermitian eigenvalue problems enjoy a remarkable theoretical structure that allows for efficient and stable algorithms ... eigenpairs. This is probably one of the reasons that enabled applications requiring the solution ... computational demands to unprecedented levels. Materials science, structural engineering, and some QCD applications routinely compute...
  • Biq Mac

  • Referenced in 70 articles [sw10532]
  • well. Exact solutions are obtained in a reasonable time for any instance of size ... density. For some problems of special structure, we can solve even larger problem classes...
  • CSIsat

  • Referenced in 15 articles [sw11407]
  • solver to reason about the boolean structure. We evaluate the efficiency of our tool...
  • ChainCon

  • Referenced in 8 articles [sw12058]
  • software capable of processing large data structures with reasonable effectiveness, it was primarily intended...
  • TorchLight

  • Referenced in 4 articles [sw13534]
  • domains from “hard” ones. By summarizing structural reasons for analysis failure, TorchLight also provides diagnostic...
  • UG

  • Referenced in 190 articles [sw04596]
  • commercial codes use them. There are two reasons for this. Firstly, the multigrid solution ... this paper, we show the software design structure of UG and explore some...
  • Hyperproof

  • Referenced in 24 articles [sw22172]
  • system for learning the principles of analytical reasoning and proof construction, consisting of a text ... structure of sentences. It also reflects the heterogeneity of information encountered in everyday reasoning...
  • Gephi

  • Referenced in 45 articles [sw12110]
  • make hypothesis, intuitively discover patterns, isolate structure singularities or faults during data sourcing ... interactive interfaces is now recognized to facilitate reasoning. This is a software for Exploratory Data...
  • FreeSurfer

  • Referenced in 12 articles [sw19839]
  • most macroscopically visible structures in the human brain given any reasonable T1-weighted input image...
  • RADA

  • Referenced in 4 articles [sw20732]
  • functional implementations of complex data structures and to reason about guard applications that determine whether...
  • Threader

  • Referenced in 14 articles [sw09938]
  • reasoning that is compositional with regards to the thread structure of the verified program. This...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • NoMoRe: A system for non-monotonic reasoning under answer set semantics NoMoRe implements answer ... block graphs. This allows for a structural analysis of programs...
  • coFJ

  • Referenced in 5 articles [sw29270]
  • ease high-level programming and reasoning with cyclic data structures. The coFJ language supports cyclic...
  • Checkfence

  • Referenced in 19 articles [sw09939]
  • implementation). CheckFence currently supports a limited but reasonable subset of C, as required for typical ... This subset includes conditionals, loops, pointers, arrays, structures, function calls, locks, and dynamic memory allocation...