• Line-up

  • Referenced in 6 articles [sw18417]
  • Line-up: A complete and automatic linearizability checker. Modular development of concurrent applications requires thread ... multiple client threads. This paper focuses on linearizability, a specific formalization of thread safety, where ... possible to build an automatic linearizability checker by systematically enumerating the sequential behaviors ... first complete and automatic checker for deterministic linearizability. It is complete, because any reported violation...
  • SNZI

  • Referenced in 5 articles [sw09531]
  • present implementations that are scalable, linearizable, nonblocking, and fast in the absence of contention, properties...
  • PoWerStore

  • Referenced in 1 article [sw19545]
  • high availability (wait-freedom) and strong consistency (linearizability) of read/write operations. PoWerStore’s efficiency stems...
  • ACL2

  • Referenced in 274 articles [sw00060]
  • ACL2 is both a programming language in which...
  • FGb

  • Referenced in 234 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • Isabelle

  • Referenced in 594 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 4896 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5693 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • QAPLIB

  • Referenced in 215 articles [sw00751]
  • A collection of electronically available data instances for...
  • REDUCE

  • Referenced in 737 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

  • Referenced in 1305 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SYMMGRP

  • Referenced in 118 articles [sw01066]
  • SYMMGRP.MAX and other symbolic programs for Lie symmetry...
  • FADBAD++

  • Referenced in 53 articles [sw04863]
  • FADBAD++ implements the forward, backward and Taylor methods...
  • TADIFF

  • Referenced in 23 articles [sw04865]
  • TADIFF is a C++ program package for performing...
  • DLMF

  • Referenced in 2019 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • OCaml

  • Referenced in 267 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Rodin

  • Referenced in 78 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...