• 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"


  • U

    University of Colorado System

    Requirements Specifications: Goals and Conflict Analysis

    Skills you'll gain: Requirements Analysis, Security Requirements Analysis, Requirements Elicitation, Goal Setting, User Requirements Documents, Unified Modeling Language, Meeting Facilitation, Conflict Management, Discussion Facilitation, Risk Management Framework, Negotiation, Security Awareness

    ★ 4.7 (66) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Analyze & Deploy Scalable LLM Architectures

    Skills you'll gain: Retrieval-Augmented Generation, Model Deployment, Kubernetes, Containerization, LLM Application, Cloud-Native Computing, Application Deployment, Large Language Modeling, Release Management, MLOps (Machine Learning Operations), Configuration Management, Continuous Delivery, Scalability, Application Performance Management, Performance Tuning, Performance Analysis, Systems Analysis, Analysis, Data-Driven Decision-Making

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Evaluate LLMs: Test and Prove Significance

    Skills you'll gain: Statistical Visualization, Model Evaluation, Data Presentation, Scientific Visualization, Statistical Hypothesis Testing, Model Deployment, Statistical Analysis, Statistical Software, Data Storytelling, Large Language Modeling, Statistical Methods, Data-Driven Decision-Making, Statistical Programming, Matplotlib, Statistical Inference, Statistics, Experimentation, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 2

    28DIGITAL

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Process Modeling, Probability, Algorithms, Probability Distribution, Logical Reasoning

    ★ 4.3 (54) · Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • P

    Packt

    Building and Fine-Tuning LLM Applications

    Skills you'll gain: Retrieval-Augmented Generation, AI Workflows, Fine-tuning, Model Deployment, Applied Machine Learning, Application Deployment, API Testing, Model Optimization

    Advanced · Course · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • 2

    28DIGITAL

    System Validation (3): Requirements by modal formulas

    Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Functional Specification, Requirements Analysis, Theoretical Computer Science

    ★ 4.5 (13) · Advanced · Course · 1 - 4 Weeks

    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Real-Time Mission-Critical Systems Design

    Skills you'll gain: Real-Time Operating Systems, Embedded Software, Embedded Systems, Performance Tuning, Hardware Design, Systems Architecture, Systems Design, Electronic Hardware, Hardware Architecture, Software Architecture, System Design and Implementation, Reliability, System Programming, Performance Testing, Failure Analysis, System Requirements, Electrical Systems, Memory Management, Data Integrity, Linux

    ★ 4.3 (18) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Unreal Engine Blueprints-Advanced Gameplay and Logic Systems

    Skills you'll gain: Unreal Engine, Game Design, Performance Tuning, Video Game Development, Animation and Game Design, Programming Principles, Data Structures, No-Code Development, Object Oriented Design, Event-Driven Programming, Interactive Design, Code Reusability, Scripting

    Mixed · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • 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

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    M2M & IoT Interface Design & Protocols for Embedded Systems

    Skills you'll gain: Internet Of Things, API Design, Amazon Web Services, Embedded Software, Cloud Computing Architecture, Application Programming Interface (API), Network Protocols, Microservices, Cloud Applications, Cloud Services, Communication Systems, Cloud Platforms, Embedded Systems, Information Systems Security, Telecommunications, Cloud Technologies, Cybersecurity, Software Development, Digital Communications, Wireless Networks

    ★ 4.5 (127) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • C

    Coursera

    Build & Adapt LLM Models with Confidence

    Skills you'll gain: Model Deployment, LLM Application, Fine-tuning, Large Language Modeling, System Monitoring, Open Web Application Security Project (OWASP), Scalability, Generative Model Architectures, Hugging Face, Continuous Monitoring, AI Integrations, Load Balancing, Performance Tuning, Application Deployment, Model Optimization, Transfer Learning, AI Security, Applied Machine Learning, Application Security, API Design

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…6789

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

  • Requirements Specifications: Goals and Conflict Analysis: University of Colorado System
  • Analyze & Deploy Scalable LLM Architectures: Coursera
  • Evaluate LLMs: Test and Prove Significance: Coursera
  • Quantitative Model Checking: 28DIGITAL
  • Building and Fine-Tuning LLM Applications: Packt
  • System Validation (3): Requirements by modal formulas: 28DIGITAL
  • Real-Time Mission-Critical Systems Design: University of Colorado Boulder
  • Unreal Engine Blueprints-Advanced Gameplay and Logic Systems: EDUCBA
  • Model Checking with SAT and SMT : University of Colorado Boulder
  • 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