Create a Workspace
Query Tool
Saved Queries
Datasets
Data Requests
Lists
Pipelines
Followed Topics
Invite Members
Workspace Settings
Upgrade Workspace
API Access
Pricing
Help & Support
More
Create
Log in
Enquire now
Follow
Follow
Refresh Data
Save to List
McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs
Overview
Structured Data
Issues
Contributors
Access by API
Access by API
Is a
Academic paper
1
Academic Discipline
Logic in computer science
1
Computer science
1
Programming language
1
arXiv Classification
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
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
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
.
SUBSCRIBE
Home
Product
Data Credits
NEW
Datasets
NEW
ChatGPT Plugin
API
CRM Integration
Careers
Blog
Terms of Service
API Documentation
Contact Us
Content Issue