Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013887890> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2013887890 endingPage "301" @default.
- W2013887890 startingPage "285" @default.
- W2013887890 abstract "We describe a method for computing a minimum-state automaton to act as an intermediate assertion in assume-guarantee reasoning, using a sampling approach and a Boolean satisfiability solver. For a set of synthetic benchmarks intended to mimic common situations in hardware verification, this is shown to be significantly more effective than earlier approximate methods based on Angluin's L* algorithm. For many of these benchmarks, this method also outperforms BDD-based model checking and interpolation-based model checking. We also demonstrate how domain knowledge can be incorporated into our algorithm to improve its performance." @default.
- W2013887890 created "2016-06-24" @default.
- W2013887890 creator A5010855668 @default.
- W2013887890 creator A5025098067 @default.
- W2013887890 creator A5047507250 @default.
- W2013887890 date "2008-03-08" @default.
- W2013887890 modified "2023-10-17" @default.
- W2013887890 title "Automated assumption generation for compositional verification" @default.
- W2013887890 cites W1586728410 @default.
- W2013887890 cites W1590437595 @default.
- W2013887890 cites W1830821883 @default.
- W2013887890 cites W1989445634 @default.
- W2013887890 cites W2030511855 @default.
- W2013887890 cites W2098039922 @default.
- W2013887890 cites W2116861015 @default.
- W2013887890 cites W4231640108 @default.
- W2013887890 cites W4236137412 @default.
- W2013887890 cites W4248891768 @default.
- W2013887890 cites W4300021588 @default.
- W2013887890 doi "https://doi.org/10.1007/s10703-008-0050-0" @default.
- W2013887890 hasPublicationYear "2008" @default.
- W2013887890 type Work @default.
- W2013887890 sameAs 2013887890 @default.
- W2013887890 citedByCount "50" @default.
- W2013887890 countsByYear W20138878902012 @default.
- W2013887890 countsByYear W20138878902013 @default.
- W2013887890 countsByYear W20138878902014 @default.
- W2013887890 countsByYear W20138878902015 @default.
- W2013887890 countsByYear W20138878902016 @default.
- W2013887890 countsByYear W20138878902017 @default.
- W2013887890 countsByYear W20138878902018 @default.
- W2013887890 countsByYear W20138878902019 @default.
- W2013887890 countsByYear W20138878902020 @default.
- W2013887890 countsByYear W20138878902021 @default.
- W2013887890 countsByYear W20138878902022 @default.
- W2013887890 crossrefType "journal-article" @default.
- W2013887890 hasAuthorship W2013887890A5010855668 @default.
- W2013887890 hasAuthorship W2013887890A5025098067 @default.
- W2013887890 hasAuthorship W2013887890A5047507250 @default.
- W2013887890 hasBestOaLocation W20138878902 @default.
- W2013887890 hasConcept C41008148 @default.
- W2013887890 hasConceptScore W2013887890C41008148 @default.
- W2013887890 hasIssue "3" @default.
- W2013887890 hasLocation W20138878901 @default.
- W2013887890 hasLocation W20138878902 @default.
- W2013887890 hasOpenAccess W2013887890 @default.
- W2013887890 hasPrimaryLocation W20138878901 @default.
- W2013887890 hasRelatedWork W2049775471 @default.
- W2013887890 hasRelatedWork W2093578348 @default.
- W2013887890 hasRelatedWork W2350741829 @default.
- W2013887890 hasRelatedWork W2358668433 @default.
- W2013887890 hasRelatedWork W2376932109 @default.
- W2013887890 hasRelatedWork W2382290278 @default.
- W2013887890 hasRelatedWork W2390279801 @default.
- W2013887890 hasRelatedWork W2748952813 @default.
- W2013887890 hasRelatedWork W2899084033 @default.
- W2013887890 hasRelatedWork W3004735627 @default.
- W2013887890 hasVolume "32" @default.
- W2013887890 isParatext "false" @default.
- W2013887890 isRetracted "false" @default.
- W2013887890 magId "2013887890" @default.
- W2013887890 workType "article" @default.