| Predicate |
Object |
| assignee |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_9828f806c4f6ffd7dd7abb6c5b19b9bc
http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_3be46b01712ed82d83ab7db7a1e0684e
http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_4b4d688265418b47c1d3b0105c63dedd
http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_e757fd4fedc4fe825bb81b1b466a0947 |
| classificationCPCInventive |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-3604
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F8-314 |
| classificationIPCInventive |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F9-44 |
| filingDate |
2011-04-29-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| inventor |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_444e7331f1981a396fcc5200e59a1305
http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_f78559bbb1c05a4972cc184b412679b8
http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_078c014f0af3491c9d3357127350b3ad |
| publicationDate |
2012-11-01-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| publicationNumber |
US-2012278792-A1 |
| titleOfInvention |
Automatic Verification and Synthesis for Weak Memory Models |
| abstract |
Techniques are provided for automatic verification and inference of memory fences in concurrent programs that can bound the store buffers that are used to model relaxed memory models. A method is provided for determining whether a program employing a relaxed memory model satisfies a safety specification. An abstract memory model is obtained of the relaxed memory model. The abstract memory model represents concrete program states of the program as a finite number of abstract states. The safety specification is evaluated for the program on the abstract memory model having the finite number of abstract states. Fence positions at one or more locations can be determined to ensure that the safety specification is satisfied. |
| isCitedBy |
http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-8645923-B1
http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2012204062-A1
http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-11132145-B2
http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-2019286369-A1
http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-8813038-B2 |
| priorityDate |
2011-04-29-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| type |
http://data.epo.org/linked-data/def/patent/Publication |