or cancel
  1. PReach - A Distributed Murphi-Based Model Checker

    38:56

    from Galois Video Added 575 3 0

    Abstract: We present PReach, an industrial strength distributed explicit state model checker based on Murphi. The goal of this project was to develop a reliable, easy to maintain, scalable model checker…

    + More details
    • Engineers Without Borders

      38:36

      from Galois Video Added 352 2 0

      abstract: Engineers Without Borders USA is a fast-growing national non-profit impacting developing communities around the world. EWB provides an opportunity for engineering students and professionals…

      + More details
      • Candid Experiences from a Hardware Startup

        01:05:56

        from Galois Video Added 306 2 0

        abstract: Hardware is hard. At least that's what people always say. Building a hardware startup requires a broad base of technical knowledge, from electronics and manufacturing experience to…

        + More details
        • Property Directed Reachability

          01:04:28

          from Galois Video Added 654 2 0

          abstract: Last spring, in March 2010, Aaron Bradley published the first truly new bit-level symbolic model checking algorithm since Ken McMillan’s interpolation based model checking procedure…

          + More details
          • Copilot: A Hard Real-Time Runtime Monitor

            53:48

            from Galois Video Added 1,256 2 0

            abstract: We address the problem of runtime monitoring for hard real-time programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitoring community.…

            + More details
            • Program Inconsistency Detection using Weakest Preconditions

              01:09:21

              from Galois Video Added 370 2 0

              abstract: Many tools exist to automate the search for defects in software source code. However, many of these tools have not been widely applied, partly because they tend to work least well in the…

              + More details
              • abcBridge: Functional Interfaces for AIGs & SAT Solving

                34:14

                from Galois Video Added 611 2 0

                For slides and more details, please visit: http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional-interfaces-for-aigs-and-sat-solving/

                + More details
                • Trust relationship modeling for software assurance

                  24:54

                  from Galois Video Added 261 2 0

                  In-absentia presentation to the FAST 2010 audience. Abstract: Software assurance, as practiced through the Common Criteria, is a mixture of processes, heuristics, and lessons learned from earlier…

                  + More details
                  • Introduction to Logic Synthesis

                    01:10:55

                    from Galois Video Added 884 2 0

                    abstract: The lecture describes the problems solved by logic synthesis. It presents functional representations and typical computations applied to Boolean networks, such as traversal, windowing, cut…

                    + More details
                    • Formal Methods Applied to Control Software

                      01:04:11

                      from Galois Video Added 472 2 0

                      abstract: Critical cyber-physical systems, such as avionics, typically have one or more components that control the behavior of dynamical physical systems. The design of such control systems is well…

                      + More details
                      • Verification of Galois Field Multipliers

                        01:16:26

                        from Galois Video Added 477 2 0

                        abstract: Applications in Cryptography require multiplication and exponentiation operations to be performed over Galois fields GF(2^k). Therefore, there has been quite an interest in the hardware…

                        + More details
                        • Empirical Sampling With Haskell

                          42:52

                          from Galois Video Added 470 2 0

                          abstract: Sampling from a large discrete distribution is a common problem in statistics. In this talk, we'll consider a real-world situation where the properties of the distribution cause common…

                          + More details

                          Browse Videos

                          Videos Galois Video

                          Here are all of the videos that Galois Video has uploaded to Vimeo. Appearances are videos that Galois Video has been credited in by others.

                          Also Check Out