• LFW

  • Referenced in 60 articles [sw31362]
  • deep funneled images produce superior results for most face verification algorithms over the original images...
  • SpaceEx

  • Referenced in 74 articles [sw10939]
  • verification platform for hybrid systems, available at spaceex.imag.fr. Experimental results of full fixed-point computations...
  • TOKAM-3D

  • Referenced in 11 articles [sw02765]
  • code as well as verification results are also presented...
  • CakeML

  • Referenced in 53 articles [sw08799]
  • prints only those results permitted by the semantics of CakeML. Our verification effort touches...
  • BIOMET

  • Referenced in 10 articles [sw02474]
  • each modality are given. Preliminary monomodal verification results, obtained on a subcorpus of the BIOMET...
  • ModelPlex

  • Referenced in 4 articles [sw23944]
  • introduces ModelPlex, a method ensuring that verification results about models apply to CPS implementations. ModelPlex ... provably correct way that the verification results obtained for the model apply to the actual ... with the model so that offline verification results no longer apply, ModelPlex initiates provably safe ... imply that the offline safety verification results about the CPS model apply to the present...
  • DISCOVERER

  • Referenced in 56 articles [sw07719]
  • problems. To overcome the bottleneck of program verification with a symbolic approach ... results that we have done so far both on SAS-solving and program verification with...
  • Milawa

  • Referenced in 20 articles [sw09977]
  • further, we have combined these results with our previous verification of an x86 machine-code...
  • TopSpin

  • Referenced in 13 articles [sw00972]
  • exploit these symmetries during verification. This can result in significantly reduced memory consumption...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • workflow verification. Errors made at design-time are not detected and result in very costly...
  • MFIX-DEM

  • Referenced in 10 articles [sw18199]
  • software for gas–solids flows: Part I—Verification studies. With rapid advancements in computer hardware ... Discrete Element Method (DEM). As a result, solids are increasingly treated in a discrete Lagrangian ... flows. In this paper, a series of verification cases is employed which tests the different ... ascertain the accuracy of the results without rigorous verification. These series of verification tests...
  • MAGIC

  • Referenced in 38 articles [sw14159]
  • core principles implemented in the MAGIC verification engine, i.e., specification conformance using simulation and abstraction ... using simulation instead of trace containment, experimental results using OpenSSL indicate that our approach ... lead to orders of magnitude improvement in verification time...
  • MAYA

  • Referenced in 26 articles [sw03423]
  • functionality will result in changes of the specification which always endangers the verification work already...
  • DeepID3

  • Referenced in 4 articles [sw39588]
  • further discussion of LFW face verification result is given...
  • GROOVE

  • Referenced in 51 articles [sw09480]
  • GRaphs for Object-Oriented VErification (GROOVE). GROOVE is a project centered around ... semantics through an (automatic) analysis of the resulting graph transformation systems, for instance using model...
  • COSMOS

  • Referenced in 6 articles [sw13329]
  • limited to, Markov chains. As a result HASL verification turns out to be a unifying...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • session verification by exploring, in a demand-driven way, the transition system resulting from ... fixed-point-based techniques for protocol verification for an unbounded number of sessions...
  • HANNIBAL

  • Referenced in 8 articles [sw10071]
  • used to drastically accelerate other verification tools. Experimental results clearly show the efficiency of HANNIBAL...
  • Albany/FELIX

  • Referenced in 8 articles [sw17196]
  • along with their implementation. The results of several verification studies of the model accuracy...
  • evt

  • Referenced in 8 articles [sw09805]
  • overview of the main results of the project “Verification of ERLANG Programs ”, which is funded...