• dSPIN

  • Referenced in 31 articles [sw09888]
  • supported by both the random simulator and verifier generator. The tool is SPIN-backwards compatible...
  • Hybrid Toolbox

  • Referenced in 24 articles [sw15053]
  • MATLAB/Simulink toolbox for modeling, simulating, and verifying hybrid dynamical systems, for designing and simulating model...
  • UNITY

  • Referenced in 173 articles [sw13461]
  • simulation models. The methodology starts with a simulation model specification in the form ... methodology provides a means to independently verify the correctness of the transition systems ... methodology is illustrated through generation of a simulation program solving the machine interference problem using...
  • Cadence SMV

  • Referenced in 27 articles [sw07795]
  • checking tool that allows you to formally verify temporal logic properties of finite state systems ... simulation vectors or a simulation test bench, you verify your design for all possible input...
  • TAPAAL

  • Referenced in 15 articles [sw00947]
  • TAPAAL: editor, simulator and verifier of timed-arc Petri nets. TAPAAL is a new platform ... independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides...
  • GasLib

  • Referenced in 22 articles [sw17977]
  • This requirement can hardly be verified with existing simulation-based planning methods. This observation...
  • VAMPIRE

  • Referenced in 229 articles [sw02918]
  • splitting rule and negative equality splitting are simulated by the introduction of new predicate definitions ... theorem is proved, the system produces a verifiable proof, which validates both the clausification phase...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • simulation conformance. MAGIC is a software verification project for C source code which verifies conformance ... MAGIC verification engine, i.e., specification conformance using simulation and abstraction refinement. Viewing counterexamples as winning...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • model-checker. Since version 3.4 the simulator can visualize a trace as a message sequence ... constitutes a graphical user interface to the verifier of Uppaal2k. A model-checker for automatic ... automatically loaded and graphically visualized using the simulator. Since version 3.4 it is possible...
  • MRMC

  • Referenced in 66 articles [sw04129]
  • Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL ... model checking by discrete-event simulation. This paper presents the tool’s current status...
  • MeCoSim

  • Referenced in 6 articles [sw14527]
  • Purpose Application to model, design, simulate, analyze and verify different types of models based...
  • SmartMobile

  • Referenced in 15 articles [sw10867]
  • SmartMobile for verified analysis of mechanical systems. Software for modeling and simulation (MSS) of mechanical ... SmartMobile enhances the existing MSS Mobile with verified techniques to provide a guarantee that...
  • Pynn

  • Referenced in 14 articles [sw14128]
  • then run it without modification on any simulator that PyNN supports (currently NEURON, NEST, PCSIM ... have been verified to work the same on the different supported simulators. PyNN also provides...
  • ROCKFLOW

  • Referenced in 2 articles [sw08688]
  • ROCKFLOW and FEFLOW. Based on the verified simulators, more complex problems are tackled. In this...
  • PDEQSOL

  • Referenced in 3 articles [sw12688]
  • Users can easily construct, execute and verify the simulation program through the window interface...
  • DEMOCRITUS

  • Referenced in 7 articles [sw18290]
  • truncation error and the noise of the simulations, to increase the accuracy per unit cost ... computational method is verified against known results. Finally, the simulation method is applied...
  • SCALE 6.2

  • Referenced in 5 articles [sw18190]
  • nuclear systems modeling and simulation that provides comprehensive, verified and validated, user-friendly capabilities...
  • PSyHCoS

  • Referenced in 2 articles [sw30319]
  • that can be used to edit, simulate and verify PSTCSP models. Experiments show its efficiency...
  • SeVe

  • Referenced in 2 articles [sw06547]
  • there are many tools for specifying and verifying security protocols such as Casper/FDR, ProVerif ... model checker, which supports specifying, simulating, and verifying security protocols. The experimental results show that...
  • BEAM189

  • Referenced in 45 articles [sw07447]
  • node Timoshenko’s beam model. Finite element simulation is performed by using a 3-node ... inflatable cantilever beam, is performed to verify the accuracy of our proposed method. The comparisons...