• Atomizer

  • Referenced in 17 articles [sw08924]
  • focus on the more fundamental non-interference property of atomicity; a method is atomic...
  • SingleTrack

  • Referenced in 7 articles [sw09883]
  • parallel code is free of such thread interference errors. Deterministically-parallel code may create ... code does not satisfy the traditional non-interference property of atomicity (or serializability), however ... parallel code. We introduce a new non-interference specification for deterministically-parallel code ... because it enforces a more general non-interference property that is applicable to more software...
  • HLIO

  • Referenced in 3 articles [sw22611]
  • constraint polymorphism. We formalize HLIO, prove non-interference, and show how interesting IFC examples...
  • Anica

  • Referenced in 1 article [sw22198]
  • Anica is an Automated Non-Interference Check Assistant, checking positive place based non-interference (PBNI ... place based non-interference with downgrading (PBNID) for safe Petri nets. Anica ... witness path for each violation of non-interference; Providing a fully automated...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • veriSoft

  • Referenced in 92 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • HOL/SPIN

  • Referenced in 24 articles [sw02987]
  • Routing information protocol in HOL/SPIN We provide a...
  • Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • GLPK

  • Referenced in 181 articles [sw04560]
  • The GLPK (GNU Linear Programming Kit) package is...
  • Uppaal

  • Referenced in 654 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • LLVM

  • Referenced in 87 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • ProVerif

  • Referenced in 42 articles [sw06558]
  • ProVerif is an automatic cryptographic protocol verifier, in...
  • Rodin

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

  • Referenced in 120 articles [sw07714]
  • Boogie: An Intermediate Verification Language. Boogie is an...
  • Creol

  • Referenced in 25 articles [sw09421]
  • Creol: A type-safe object-oriented model for...
  • Toolchain

  • Referenced in 25 articles [sw09517]
  • Verified Software Toolchain: The software toolchain includes static...
  • Agda

  • Referenced in 205 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • EasyCrypt

  • Referenced in 32 articles [sw09738]
  • Computer-aided security proofs for the working cryptographer...