• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Linear Temporal Logic Specifications

Results for "linear+temporal+logic+specifications"


  • Status: Preview
    Preview
    G

    Georgia Institute of Technology

    Linear Circuits 2: AC Analysis

    Skills you'll gain: Electrical Power, Electrical Engineering, Basic Electrical Systems, Electronics, Electronic Systems, Electronics Engineering, Electronic Components, Electrical Systems, Engineering, Scientific, and Technical Instruments, Electrical and Computer Engineering, Engineering Analysis, Engineering Calculations, Algebra

    4.7
    Rating, 4.7 out of 5 stars
    ·
    771 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Stanford University

    Introduction to Logic

    Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Problem Solving, Mathematics and Mathematical Modeling, Business Logic

    4.4
    Rating, 4.4 out of 5 stars
    ·
    655 reviews

    Intermediate · Course · 1 - 3 Months

  • P

    Politecnico di Milano

    FPGA computing systems: Partial Dynamic Reconfiguration

    Skills you'll gain: Application Specific Integrated Circuits, Computer Architecture, Microarchitecture, Hardware Architecture, Cloud Infrastructure, Systems Design, System Configuration, Embedded Systems, Software Architecture, System Design and Implementation, Computing Platforms, Cloud Computing, Design Software

    4
    Rating, 4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Honors Algebra 2: Linear and Quadratic Functions

    Skills you'll gain: Algebra, Graphing, Advanced Mathematics, Logical Reasoning, Applied Mathematics, Mathematical Modeling, Visualization (Computer Graphics), Correlation Analysis, Predictive Modeling

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Logical & Analytical Reasoning — Exam & Recruitment Prep

    Skills you'll gain: Critical Thinking and Problem Solving, Logical Reasoning, Analytical Skills, Deductive Reasoning, Critical Thinking, Problem Solving, Complex Problem Solving, Computational Logic, Applied Mathematics, Combinatorics, Geometry, Arithmetic

    2.7
    Rating, 2.7 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    B

    Birla Institute of Technology & Science, Pilani

    Automata and Computability

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Graph Theory, Deductive Reasoning, Natural Language Processing, Logical Reasoning, Formal Learning

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Bases matemáticas: Álgebra

    Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, General Mathematics

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    FPGA Architecture Based System for Industrial Application

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Serial Peripheral Interface, Electronic Hardware, Internet Of Things, Embedded Systems, Electronic Systems, Network Protocols, Control Systems, Communication Systems, Digital Communications, Hardware Architecture, Software Development Tools, System Design and Implementation, Engineering, Scientific, and Technical Instruments, Simulation and Simulation Software, Software Installation, System Configuration, Real Time Data

    4.4
    Rating, 4.4 out of 5 stars
    ·
    22 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    SRS Documents: Requirements and Diagrammatic Notations

    Skills you'll gain: Software Design Documents, Data Flow Diagrams (DFDs), User Requirements Documents, Functional Requirement, Software Documentation, Diagram Design, Unified Modeling Language, Functional Specification, Requirements Analysis, System Requirements, Technical Documentation, Technical Writing, Data Modeling, Systems Analysis, Security Requirements Analysis, Process Modeling, Computational Logic

    4.3
    Rating, 4.3 out of 5 stars
    ·
    59 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    Prompt Engineering for LLMs

    Skills you'll gain: Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, LangChain, Large Language Modeling, Responsible AI, AI Security, OpenAI, Generative AI, AI Personalization, Context Management, Natural Language Processing, CI/CD, Test Automation, Python Programming, Pandas (Python Package), Scalability, Application Development

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    UNSW Sydney (The University of New South Wales)

    Requirements Writing

    Skills you'll gain: Requirements Analysis, Requirements Management, Requirements Elicitation, Business Requirements, Technical Writing, Functional Requirement, Product Requirements, Engineering Documentation, Business Writing, System Requirements, Project Documentation, Editing, Systems Engineering

    4.6
    Rating, 4.6 out of 5 stars
    ·
    356 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    2

    28DIGITAL

    Development of Real-Time Systems

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, System Programming, Systems Design, System Software, C (Programming Language), System Design and Implementation, OS Process Management, System Requirements, Dependency Analysis, Computer Architecture, Simulations, Systems Analysis, Verification And Validation, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    541 reviews

    Intermediate · Course · 1 - 3 Months

1…456…9

In summary, here are 10 of our most popular linear+temporal+logic+specifications courses

  • Linear Circuits 2: AC Analysis : Georgia Institute of Technology
  • Introduction to Logic: Stanford University
  • FPGA computing systems: Partial Dynamic Reconfiguration: Politecnico di Milano
  • Honors Algebra 2: Linear and Quadratic Functions: Johns Hopkins University
  • Logical & Analytical Reasoning — Exam & Recruitment Prep: Board Infinity
  • Automata and Computability: Birla Institute of Technology & Science, Pilani
  • Bases matemáticas: Álgebra: Universitat Politècnica de València
  • FPGA Architecture Based System for Industrial Application : L&T EduTech
  • SRS Documents: Requirements and Diagrammatic Notations: University of Colorado System
  • Prompt Engineering for LLMs: Edureka

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok