• z3

  • Referenced in 597 articles [sw04887]
  • include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces ... Windows Driver Development Kit that uses the SLAM verification engine...
  • MonoSLAM

  • Referenced in 41 articles [sw18884]
  • MonoSLAM: Real-Time Single Camera SLAM. We present a real-time algorithm which can recover ... first successful application of the SLAM methodology from mobile robotics to the ”pure vision” domain ... range of robotic systems in which SLAM can be usefully applied, but also opens...
  • SatAbs

  • Referenced in 41 articles [sw12804]
  • loop. Existing software verification tools such as Slam, Blast, or Magic use decision procedures...
  • Cogent

  • Referenced in 14 articles [sw01300]
  • Many symbolic software verification engines such as Slam and ESC/Java rely on automatic theorem provers ... pointers and pointer arithmetic. When used by Slam during the model checking of over ... improved accuracy reduced the number of Slam timeouts by half, increased the number of true...
  • ORB-SLAM2

  • Referenced in 13 articles [sw31237]
  • SLAM2 is a real-time SLAM library for Monocular, Stereo and RGB-D cameras that ... time. We provide examples to run the SLAM system in the KITTI dataset as stereo ... provides a GUI to change between a SLAM Mode and Localization Mode, see section...
  • ORB-SLAM

  • Referenced in 10 articles [sw18887]
  • SLAM: A Versatile and Accurate Monocular SLAM System. This paper presents ORB-SLAM, a feature ... based monocular simultaneous localization and mapping (SLAM) system that operates in real time, in small ... that uses the same features for all SLAM tasks: tracking, mapping, relocalization, and loop closing ... sequences from the most popular datasets. ORB-SLAM achieves unprecedented performance with respect to other...
  • LSD-SLAM

  • Referenced in 10 articles [sw18885]
  • SLAM: Large-Scale Direct Monocular SLAM. We propose a direct (feature-less) monocular SLAM algorithm ... values into tracking. The resulting direct monocular SLAM system runs in real-time...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • beyond current abstraction-refinement tools, such as Slam, Blast, Armc, and our earlier tool...
  • g2o

  • Referenced in 9 articles [sw22795]
  • implementation provides solutions to several variants of SLAM and BA. A wide range of problems ... Typical instances are simultaneous localization and mapping (SLAM) or bundle adjustment (BA). The overall goal ... implementation provides solutions to several variants of SLAM and BA. g2o offers a performance comparable...
  • YASM

  • Referenced in 14 articles [sw09470]
  • engineered software model-checkers are available, e.g., Slam [1] and Blast [12]. Why build another...
  • YOGI

  • Referenced in 14 articles [sw13094]
  • enables Yogi to scale much better than Slam, which is the current engine driving Microsoft...
  • HSF

  • Referenced in 12 articles [sw09937]
  • number of successful tools including SLAM, Blast, ARMC and CPAChecker that are also based...
  • SLAM

  • Referenced in 5 articles [sw17327]
  • SLAM: cross-species gene finding and alignment with a generalized pair hidden Markov model. Comparative ... gene finding and alignment program called SLAM, which aligns and identifies complete exon/intron structures ... related but unannotated sequences of DNA. SLAM is able to reliably predict gene structures ... annotation is a novel feature of SLAM and may be useful for the annotation...
  • slam

  • Referenced in 6 articles [sw24388]
  • package slam: Sparse Lightweight Arrays and Matrices. Data structures and algorithms for sparse arrays...
  • SE-Sync

  • Referenced in 9 articles [sw40678]
  • simulated and real-world pose-graph SLAM datasets shows that SE-Sync is able...
  • OpenSLAM

  • Referenced in 3 articles [sw21425]
  • OpenSLAM: Open-source implementation of slam algorithms. The simultaneous localization and mapping (SLAM) problem ... OpenSLAM.org is to provide a platform for SLAM researchers which gives them the possibility ... their algorithms. OpenSLAM.org provides to every interested SLAM researcher a subversion (svn) repository ... daily development process of early SLAM implementations. Published algorithm should have a certain degree...
  • RT-SLAM

  • Referenced in 2 articles [sw18888]
  • SLAM: A Generic and Real-Time Visual SLAM Implementation. This article presents a new open ... source C++ implementation to solve the SLAM problem, which is focused on genericity, versatility ... illustrated by the presentation of an inertial/vision SLAM approach, for which several improvements over existing...
  • ACSAR

  • Referenced in 4 articles [sw02684]
  • Soft [7], Magic [5] and Slam [1]. It is based on the counterexample-guided abstraction...
  • AMAZON-SC

  • Referenced in 4 articles [sw06134]
  • tank, waves in a flume, slamming of a rigid wedge from air into water...