Utah CS 6110

• Universities
• Utah
• CS
• 6110

Course Description

Raw: Study of methods for formally specifying and verifying computing systems. Specific techniques includ

Stemmed: studi method formal verifi comput system specif techniqu includ explicit state enumer implicit state

Inferred Topics

• 8   (0.293975) search, plan, infer, problem, inform, method, constraint, logic, state, satisfact

  (0.526) PDX CS 443 Advanced Artificial Intelligence: Combinatorial Search

  (0.481) ACM EC 0 Artificial Intelligence

  (0.367) PDX CS 543 Advanced Artificial Intelligence: Combinatorial Search

  (0.294) Utah CS 6110 Formal Methods for System Design

  (0.283) ACM EC 0 Introduction to Artificial Intelligence

  (0.217) Utah CS 5530 Database Systems

  (0.159) GMU CS 633 Computational Geometry

  (0.157) ACM EC 0 Introduction to Artificial Intelligence

• 36   (0.24103) logic, mathemat, theori, proof, set, introduct, algorithm, discret, formal, relat

  (0.937) UTK COSC 311 Discrete Structures

  (0.934) Utah CS 2100 Discrete Structures

  (0.787) LSU CSC 2259 Discrete Structures

  (0.739) PDX CS 250 Discrete Structures I

  (0.726) PDX CS 251 Discrete Structures II

  (0.673) KSU CIS 604 Set Theory and Logic for CS

  (0.668) PDX CS 510 Top: Mathematical Logic via Foundational Algorithms

  (0.659) PDX CS 579 Formal Verification of Hardware/Software

  (0.588) PDX CS 410 Top: Mathematical Logic via Foundational Algorithms

  (0.565) AU CSC 350 Introduction to Discrete Structures

  (0.510) Stanford CS 103 Mathematical Foundations of Computing

  (0.439) SC CSCE 146 Algorithmic Design II

  (0.426) SC CSCE 211 Digital Logic Design

  (0.409) ACM EC 0 Discrete Structures I

  (0.393) GMU CS 530 Mathematical Foundations of Computer Science

  (0.354) ACM EC 0 Discrete Structures II

  (0.328) KSU CIS 301 Logical Foundations of Programming

  (0.320) ACM EC 0 Discrete Mathematics

  (0.313) ACM KA 0 Discrete Structures (DS)

  (0.306) LSU CSC 7375 Robot Vision

  (0.296) RPI CSCI 2200 Foundations of Computer Science

  (0.295) KSU CIS 771 Software Specification

  (0.265) AU CSC 460 Tools of Scientific Computing

  (0.249) ACM EC 0 Mathematical Foundations of Computer Science

  (0.241) Utah CS 6110 Formal Methods for System Design

  (0.225) UTK COSC 483 Applied Cryptography

  (0.224) GMU CS 600 Theory of Computation

  (0.213) PDX CS 578 Program Language Semantics

  (0.184) UTK COSC 312 Algorithm Analysis and Automata

  (0.177) LSU CSC 7333 Machine Learning

  (0.173) GMU CS 330 Formal Methods and Models

  (0.173) KSU CIS 570 Introduction to Formal Language Theory

  (0.165) KSU CIS 575 Introduction to Algorithm Analysis

  (0.163) Utah CS 3100 Models of Computation

  (0.162) ACM EC 0 Functional Programming

  (0.152) Stanford CS 109 Introduction to Probability for Computer Scientists

• 52   (0.161732) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic

  (0.946) Utah CS 6785 Advanced Embedded Software

  (0.945) Utah CS 5785 Advanced Embedded Software

  (0.846) SC CSCE 313 Embedded Systems

  (0.728) Utah CS 5780 Embedded System Design

  (0.635) Utah CS 6780 Embedded System Design

  (0.582) GMU CS 773 Real-Time Systems Design and Development

  (0.575) KSU CIS 625 Concurrent Software Systems

  (0.551) KSU CIS 750 Advanced Computer Architecture Experiments

  (0.528) KSU CIS 622 Real-Time Operating Systems

  (0.489) UTK COSC 100 Introduction to Computers and Computing

  (0.466) LSU CSC 2463 Programming Digital Media

  (0.444) PDX CS 597 Sensor Networks

  (0.429) Utah CS 6360 Virtual Reality

  (0.414) KSU CIS 721 Real-Time Systems

  (0.402) PDX CS 497 Sensor Networks

  (0.345) ACM KA 0 Architecture and Organization (AR)

  (0.340) PDX CS 202 Programming Systems

  (0.339) GMU CS 367 Computer Systems and Programming

  (0.330) GMU CS 755 Advanced Computer Networks

  (0.322) KSU CIS 225 Personal Computer Systems Administration

  (0.308) Utah CS 5750 Synthesis and Verification of Asynchronous VLSI Systems

  (0.294) RPI CSCI 4480 Robotics I

  (0.293) UTK COSC 291 Lower-Division Special Topics

  (0.289) KSU CIS 762 Office Automation

  (0.289) KSU CIS 726 Advanced World Wide Web Technologies

  (0.284) PDX CS 447 Computer Graphics

  (0.276) PDX CS 579 Formal Verification of Hardware/Software

  (0.267) Utah CS 5460 Operating Systems

  (0.262) Utah CS 4540 Web Software Architecture

  (0.256) GMU CS 719 Scalable Internet Services

  (0.256) PDX CS 547 Computer Graphics

  (0.256) GMU CS 475 Concurrent and Distributed Systems

  (0.227) SC CSCE 215 UNIX/Linux Fundamentals

  (0.219) LSU CSC 4304 Systems Programming

  (0.218) SC CSCE 374 Robotic Applications and Design

  (0.215) Utah CS 5789 Embedded Systems and Kinetic Art

  (0.204) GMU CS 477 Mobile Application Development

  (0.199) RPI CSCI 4210 Operating Systems

  (0.199) Stanford CS 155 Computer and Network Security (EE 287A)

  (0.199) GMU CS 555 Computer Communications and Networking

  (0.198) SC CSCE 611 Advanced Digital Design

  (0.189) ACM EC 0 Digital Components and Design

  (0.173) GMU CS 884 Advanced Topics in Computer Vision and Robotics

  (0.166) Stanford CS 395 Independent Database Project

  (0.166) KSU CIS 690 Implementation Project

  (0.164) PDX CS 105 Computing Fundamentals I

  (0.162) Utah CS 6110 Formal Methods for System Design

  (0.159) AU CSC 540 Computer System Organization and Programming

  (0.157) ACM EC 0 Introduction to Computer Architecture

  (0.154) ACM EC 0 Introduction to Systems and Networking

  (0.153) PDX CS 572 Operating Systems Internals

  (0.153) LSU CSC 7300 Algorithm Design and Analysis

Prerequisite Course Topics

Prerequisite Tree