• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
Log In
Join for Free
  • Browse
  • State Based Abstraction Methods

Results for "state-based abstraction methods"


  • Status: New
    New
    Status: Preview
    Preview
    U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic

    Beginner · Course · 1 - 4 Weeks

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

    EDUCBA

    Mastering SAS Macros: Build, Automate & Optimize Programs

    Skills you'll gain: Automation, SAS (Software), Debugging, SQL, Stored Procedure, Data Manipulation, Data Processing, Statistical Programming, Data Management

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    N

    Niel Asher Education

    Upper Body Specialist: Advanced Assessments and Treatments

    Skills you'll gain: Manual Therapy, Patient Evaluation, Rehabilitation, Exercise Therapy, Mobility Assistance, Orthopedics, Sports Medicine, Clinical Assessment, Physical Therapy, Exercise Science, Athletic Training, Kinesiology, Health Assessment, Human Musculoskeletal System, Pain Management, Respiration, Respiratory Therapy, Education and Training, Anatomy, Health And Wellness Coaching

    Intermediate · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    S

    Starweaver

    Cyber Espionage and Counterintelligence

    Skills you'll gain: Endpoint Detection and Response, Threat Detection, MITRE ATT&CK Framework, Cyber Threat Hunting, Cyber Threat Intelligence, Intrusion Detection and Prevention, Threat Modeling, Security Information and Event Management (SIEM), Cyber Security Strategy, Cyber Operations, Cybersecurity, Malware Protection, Incident Response, Data Loss Prevention, Anomaly Detection, Data Security, System Implementation, Open Source Technology

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    CTO Excellence: Driving Engineering Excellence

    Skills you'll gain: Organizational Strategy, Organizational Leadership, Decision Making

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Mastering Categorical Data Analysis with SAS

    Skills you'll gain: Logistic Regression, SAS (Software), Predictive Analytics, Advanced Analytics, Model Evaluation, Data Analysis, Statistical Analysis, Regression Analysis, Statistical Modeling, Exploratory Data Analysis, Correlation Analysis, Statistical Methods, Small Data, Statistical Hypothesis Testing, Probability & Statistics, Descriptive Statistics

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Mastering Angular – Interview Prep & E-commerce App

    Skills you'll gain: Angular, Responsive Web Design, Bootstrap (Front-End Framework), Node.JS, Back-End Web Development, Unit Testing, Full-Stack Web Development, Web Components, Front-End Web Development, Command-Line Interface, Authentications, Dataflow, User Accounts, TypeScript, MySQL, E-Commerce

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    N

    Niel Asher Education

    Comprehensive Shoulder Rehabilitation

    Skills you'll gain: Rehabilitation, Manual Therapy, Patient Evaluation, Clinical Assessment, Contraindication, Exercise Therapy, Pain Management, Patient Positioning, Orthopedics, Physical Therapy, Sports Medicine, Athletic Training, Kinesiology, Human Musculoskeletal System, Anatomy, Patient Treatment, Occupational Therapy, Cognitive Behavioral Therapy, Intravenous Therapy, Physical Science

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    N

    New York University

    Introduction to Cyber Security

    Skills you'll gain: Security Engineering, Authentications, Threat Modeling, Network Security, Public Key Infrastructure, Distributed Denial-Of-Service (DDoS) Attacks, Firewall, Cyber Attacks, Cryptography, Infrastructure Security, Cybersecurity, Cyber Security Strategy, Data Encryption Standard, Cyber Risk, Mobile Security, Enterprise Security, Computer Security, Application Security, Threat Detection, Cyber Security Policies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    3.7K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Project, Stakeholder, and Requirements Management Fundamentals

    Skills you'll gain: Communication Planning, Stakeholder Engagement, Requirements Analysis, Project Coordination, Stakeholder Communications, AI Enablement, Waterfall Methodology, Kanban Principles, Business Analysis, Risk Management, Communication, Product Lifecycle Management, Prioritization

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Statistics for Data Science

    Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Regression Analysis, Bayesian Statistics, Statistical Analysis, Probability & Statistics, Statistical Inference, Statistical Methods, Statistical Modeling, Linear Algebra, Probability, Probability Distribution, R Programming, Biostatistics, Data Science, Statistics, Mathematical Modeling, Data Analysis, Data Modeling, Applied Mathematics

    4.4
    Rating, 4.4 out of 5 stars
    ·
    786 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Azure AI in Healthcare

    Skills you'll gain: Cloud Security, Data Management, Data Security, Clinical Data Management, Microsoft Azure, Health Technology, IT Security Architecture, AI Enablement, Image Analysis, Data Visualization Software, Personally Identifiable Information, Generative AI, Microsoft Teams, Machine Learning, Clinical Monitoring, General Data Protection Regulation (GDPR), Data Ethics, Information Privacy, Health Informatics, Medical Imaging

    Beginner · Professional Certificate · 3 - 6 Months

1…666768…598

In summary, here are 10 of our most popular state-based abstraction methods courses

  • Model Checking with SAT and SMT : University of Colorado Boulder
  • Mastering SAS Macros: Build, Automate & Optimize Programs: EDUCBA
  • Upper Body Specialist: Advanced Assessments and Treatments: Niel Asher Education
  • Cyber Espionage and Counterintelligence: Starweaver
  • CTO Excellence: Driving Engineering Excellence: Coursera
  • Mastering Categorical Data Analysis with SAS: EDUCBA
  • Mastering Angular – Interview Prep & E-commerce App: Packt
  • Comprehensive Shoulder Rehabilitation: Niel Asher Education
  • Introduction to Cyber Security: New York University
  • Project, Stakeholder, and Requirements Management Fundamentals: SkillUp

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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