Results 1 to 20 of 35
Sort by:

  • 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...