• MCNP

  • Referenced in 36 articles [sw07836]
  • radiography, medical physics, nuclear criticality safety, detector design and analysis, nuclear oil well logging, accelerator...
  • VerICS

  • Referenced in 35 articles [sw02011]
  • here For today, reachability analysis is available. For disproving safety properties, a new efficient method ... proving correctness, an (on-the-fly) reachability analysis on an abstract model of the system...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • automatic verification of safety and bonded-liveness properties by reachability analysis of the symbolic state...
  • SLAyer

  • Referenced in 21 articles [sw09712]
  • program analysis tool designed to automatically prove memory safety of industrial systems code. In this...
  • SCALE 6.2

  • Referenced in 6 articles [sw18190]
  • criticality safety, reactor physics, radiation shielding, and sensitivity and uncertainty analysis. For more than ... world have used SCALE for nuclear safety analysis and design. However, the underlying architecture...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • d/dt is a tool for reachability analysis of continuous and hybrid systems with linear differential ... describe the tool d/dt which provides automatic safety verification of hybrid systems with linear continuous...
  • JavaFAN

  • Referenced in 32 articles [sw01934]
  • Java program analysis framework, that can symbolically execute multithreaded programs, detect safety violations searching through...
  • REDLIB

  • Referenced in 5 articles [sw21175]
  • representation normalizations, greatest fixpoint calculation, parametric safety analysis of linear hybrid systems, speed-up techniques...
  • SURROGATES

  • Referenced in 16 articles [sw07575]
  • Other capabilities: global sensitivity analysis and conservative surrogates via safety margin...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • with requirements analysis, contract based design, model checking of hybrid systems, safety assessment, and software...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • analysis on programs manipulating linked data structures (singly and doubly linked lists), to prove safety...
  • SLMC

  • Referenced in 74 articles [sw04604]
  • tool for verifying π-calculus systems against safety, liveness, and structural properties expressed ... properties of software systems. However, when the analysis focuses on properties related to resource usage...
  • YASM

  • Referenced in 13 articles [sw09470]
  • typically bias their analysis towards proving that a (safety) property of interest holds (verification...
  • SCALE

  • Referenced in 3 articles [sw18082]
  • modeling and simulation suite for nuclear safety analysis and design developed and maintained ... Security Administration to perform reactor physics, criticality safety, radiation shielding, and spent fuel characterization...
  • RAM Commander FTA

  • Referenced in 2 articles [sw12551]
  • Commander is the pioneering Reliability and Safety software for reliability professionals and design engineers ... Fault Tree Analysis, Event Tree Analysis, Safety Assessment, Spare Parts optimization, Derating, FMECA and Testability...
  • RAMAS Risk Calc

  • Referenced in 19 articles [sw09590]
  • analysis, standard fuzzy arithmetic, and classical interval analysis. Its applications are like those of Monte ... quality assurance reviews for probabilistic risk and safety assessments...
  • SPLASH

  • Referenced in 2 articles [sw03101]
  • SPLASH code has been applied to an analysis of a free surface sloshing experiment coupled ... problems such as FBR design and safety analysis is under...
  • UPPAAL TIGA

  • Referenced in 45 articles [sw12913]
  • game automata with respect to reachability and safety properties. Though timed games for long have ... truly on-the-fly algorithms for their analysis. The algorithm we propose [CDFLL05...
  • IMITATOR

  • Referenced in 29 articles [sw00439]
  • software tool for parametric verification and robustness analysis of real-time systems with parameters ... stopwatches. It implemented several algorithms including safety synthesis, robustness, untimed language preservation, non-Zeno...
  • SAS4A

  • Referenced in 1 article [sw12523]
  • SAS4A/SASSYS-1 (Reactor Dynamics and Safety Analysis Codes). SAS4A is designed to perform deterministic analysis ... subassembly hexcan integrity. The objective of SAS4A analysis is to quantify severe accident consequences ... public health and safety risk. Originally developed for analysis of sodium cooled reactors with oxide...