• 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: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Build Project Timelines and Track Milestones Fast

    Skills you'll gain: Milestones (Project Management), Project Schedules, Timelines, Scheduling, Microsoft Excel, Project Management Software, Project Estimation, Project Planning, Dependency Analysis, Project Management, Dashboard, Data Visualization, Project Documentation, Excel Formulas, Spreadsheet Software, Report Writing, Stakeholder Communications

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Leeds

    Foundations of Software Testing and Validation

    Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Verification And Validation, Software Development Life Cycle, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    445 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    SystemVerilog Tutorials: Hardware Design & Verification

    Skills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Electronic Hardware, Computational Logic, Application Specific Integrated Circuits, Electronic Systems, System Design and Implementation, Computer Architecture, Verification And Validation, Embedded Systems, Simulation and Simulation Software, Code Reusability, Test Engineering, Data Synthesis, Analysis, Design, Process Optimization

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Pennsylvania

    Single Variable Calculus

    Skills you'll gain: Calculus, Numerical Analysis, Applied Mathematics, Integral Calculus, Differential Equations, Mathematical Theory & Analysis, Advanced Mathematics, Estimation, Derivatives

    4.6
    Rating, 4.6 out of 5 stars
    ·
    463 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    LLM Application Engineering and Development Certification

    Skills you'll gain: LangChain, LLM Application, Large Language Modeling, AI Workflows, Retrieval-Augmented Generation, Embeddings, Generative AI, Tool Calling, Fine-tuning, Prompt Engineering, PyTorch (Machine Learning Library), Tensorflow, Semantic Web, Natural Language Processing, Artificial Intelligence, Application Development, Analytical Skills, Application Programming Interface (API), Supervised Learning, Computer Programming Tools

    3.3
    Rating, 3.3 out of 5 stars
    ·
    16 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    W

    Whizlabs

    Prompt Engineering Generative AI & LLM Models Fundamentals

    Skills you'll gain: Prompt Engineering, Large Language Modeling, Prompt Patterns, Fine-tuning, Generative AI, Generative Model Architectures, LLM Application, Retrieval-Augmented Generation, Model Training, Natural Language Processing, Model Evaluation, Data Cleansing, Model Optimization

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Foundations of Autonomous Systems

    Skills you'll gain: Computational Logic, Model Based Systems Engineering, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Verification And Validation, Systems Architecture, Automation Engineering, Control Systems, Network Model, Requirements Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Automation, Systems Analysis, Differential Equations, Algorithms

    Build toward a degree

    3.6
    Rating, 3.6 out of 5 stars
    ·
    36 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    VLSI Chip Design and Simulation with Electric VLSI EDA Tool

    Skills you'll gain: Electronic Systems, Electronic Hardware, Electronics, Hardware Design, Electronics Engineering, Electrical and Computer Engineering, Microarchitecture, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Components, Diagram Design, Low Voltage, Simulation and Simulation Software, Computational Logic, Verification And Validation, Software Installation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    39 reviews

    Intermediate · Course · 1 - 4 Weeks

  • T

    The University of Sydney

    Introduction to Linear Algebra

    Skills you'll gain: Linear Algebra, Markov Model, Geometry, Arithmetic, Algebra, General Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Applied Mathematics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    42 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Build, Analyze, and Refactor LLM Workflows

    Skills you'll gain: Retrieval-Augmented Generation, LangChain, Prompt Patterns, LLM Application, AI Workflows, Performance Tuning, Large Language Modeling, Prompt Engineering, AI Orchestration, Maintainability, System Monitoring, Scalability, Code Reusability, Embeddings, Vector Databases

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    L

    Lund University

    The Juliet Language for Motion Programming

    Skills you'll gain: Real-Time Operating Systems, Programming Principles, Control Systems, Event-Driven Programming, Robotics, Computer Programming, Program Development, Robotic Process Automation, Automation, Other Programming Languages, Real Time Data, Applied Mathematics

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universitat Autònoma de Barcelona

    Digital Systems: From Logic Gates to Processors

    Skills you'll gain: Computer Architecture, Systems Design, Microarchitecture, System Design and Implementation, Technical Design, Application Specific Integrated Circuits, Digital Design, Design Software, Hardware Architecture, Computer Hardware, Simulations

    4.3
    Rating, 4.3 out of 5 stars
    ·
    858 reviews

    Intermediate · Course · 1 - 3 Months

1234…9

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

  • Build Project Timelines and Track Milestones Fast: Coursera
  • Foundations of Software Testing and Validation: University of Leeds
  • SystemVerilog Tutorials: Hardware Design & Verification: Coursera
  • Single Variable Calculus: University of Pennsylvania
  • LLM Application Engineering and Development Certification: Simplilearn
  • Prompt Engineering Generative AI & LLM Models Fundamentals: Whizlabs
  • Foundations of Autonomous Systems: University of Colorado Boulder
  • VLSI Chip Design and Simulation with Electric VLSI EDA Tool: L&T EduTech
  • Introduction to Linear Algebra: The University of Sydney
  • Build, Analyze, and Refactor LLM Workflows: Coursera

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