Golden logo
    Create a WorkspaceQuery ToolSaved QueriesDatasetsData RequestsListsPipelinesFollowed Topics
    Invite MembersWorkspace SettingsUpgrade WorkspaceAPI AccessPricingHelp & SupportMore
Log in
Enquire now
‌

McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs

OverviewStructured DataIssuesContributors
Is a
‌
Academic paper
1
Academic Discipline
Logic in computer science
Logic in computer science
1
Computer science
Computer science
1
Programming language
Programming language
1
arXiv Classification
Computer science
Computer science
1
arXiv ID
2212.05468
1
Author Names
Luka Jovanovic
1
Maxwell Pirtle
1
Gene Cooperman
1
DOI
doi.org/10.48550/ar...12.05468
1
Paid/Free
Free
1
Publication URL
arxiv.org/pdf/2212.05468v2
1
Publisher
ArXiv
ArXiv
1
Submission Date
December 11, 2022
1
July 14, 2023
1

Find more entities like McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs

Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
Open Query Tool
Access by API
Golden Query Tool
Golden logo

Company

  • Home
  • Press & Media
  • Blog
  • Careers
  • WE'RE HIRING

Products

  • Knowledge Graph
  • Query Tool
  • Data Requests
  • Knowledge Storage
  • API
  • Pricing
  • Enterprise
  • ChatGPT Plugin

Legal

  • Terms of Service
  • Enterprise Terms of Service
  • Privacy Policy

Help

  • Help center
  • API Documentation
  • Contact Us
By using this site, you agree to our Terms of Service.
    • Home
    • Product
    • Data CreditsNEW
    • DatasetsNEW
    • ChatGPT Plugin
    • API
    • CRM Integration
    • Careers
    • Blog

    • Terms of Service
    • API Documentation

  • Contact Us
  • Content Issue