Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897799977> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2897799977 abstract "Connectors have shown their great potential for coordination of different components in the large-scale distributed systems. Formal modeling and verification of connectors becomes more critical due to the rapid growth of the size of connectors. In this paper, we present a novel modeling and verification approach of Reo connectors in Coq, including the timed and probabilistic extensions of Reo. When failing to prove whether a property is satisfiable or not with Coq, Z3 solver can be used to generate counterexamples automatically. To promote automated theorem proving in Coq, we proposed an approach based on recurrent neural networks (RNNs) to predict tactics in the proving process." @default.
- W2897799977 created "2018-10-26" @default.
- W2897799977 creator A5057912307 @default.
- W2897799977 date "2018-01-01" @default.
- W2897799977 modified "2023-09-23" @default.
- W2897799977 title "Modeling and Verification of Component Connectors" @default.
- W2897799977 cites W1480909796 @default.
- W2897799977 cites W1988680012 @default.
- W2897799977 cites W2134016554 @default.
- W2897799977 cites W2139842876 @default.
- W2897799977 cites W2195067177 @default.
- W2897799977 cites W2606351774 @default.
- W2897799977 cites W2785776972 @default.
- W2897799977 cites W2888596487 @default.
- W2897799977 cites W2899265989 @default.
- W2897799977 cites W8060374 @default.
- W2897799977 doi "https://doi.org/10.1007/978-3-030-02450-5_26" @default.
- W2897799977 hasPublicationYear "2018" @default.
- W2897799977 type Work @default.
- W2897799977 sameAs 2897799977 @default.
- W2897799977 citedByCount "0" @default.
- W2897799977 crossrefType "book-chapter" @default.
- W2897799977 hasAuthorship W2897799977A5057912307 @default.
- W2897799977 hasConcept C108710211 @default.
- W2897799977 hasConcept C110251889 @default.
- W2897799977 hasConcept C111472728 @default.
- W2897799977 hasConcept C111498074 @default.
- W2897799977 hasConcept C118615104 @default.
- W2897799977 hasConcept C121332964 @default.
- W2897799977 hasConcept C138885662 @default.
- W2897799977 hasConcept C154945302 @default.
- W2897799977 hasConcept C162838799 @default.
- W2897799977 hasConcept C168167062 @default.
- W2897799977 hasConcept C189950617 @default.
- W2897799977 hasConcept C199360897 @default.
- W2897799977 hasConcept C203265346 @default.
- W2897799977 hasConcept C206880738 @default.
- W2897799977 hasConcept C2524010 @default.
- W2897799977 hasConcept C2778770139 @default.
- W2897799977 hasConcept C33923547 @default.
- W2897799977 hasConcept C41008148 @default.
- W2897799977 hasConcept C49937458 @default.
- W2897799977 hasConcept C6943359 @default.
- W2897799977 hasConcept C80444323 @default.
- W2897799977 hasConcept C97355855 @default.
- W2897799977 hasConcept C98045186 @default.
- W2897799977 hasConceptScore W2897799977C108710211 @default.
- W2897799977 hasConceptScore W2897799977C110251889 @default.
- W2897799977 hasConceptScore W2897799977C111472728 @default.
- W2897799977 hasConceptScore W2897799977C111498074 @default.
- W2897799977 hasConceptScore W2897799977C118615104 @default.
- W2897799977 hasConceptScore W2897799977C121332964 @default.
- W2897799977 hasConceptScore W2897799977C138885662 @default.
- W2897799977 hasConceptScore W2897799977C154945302 @default.
- W2897799977 hasConceptScore W2897799977C162838799 @default.
- W2897799977 hasConceptScore W2897799977C168167062 @default.
- W2897799977 hasConceptScore W2897799977C189950617 @default.
- W2897799977 hasConceptScore W2897799977C199360897 @default.
- W2897799977 hasConceptScore W2897799977C203265346 @default.
- W2897799977 hasConceptScore W2897799977C206880738 @default.
- W2897799977 hasConceptScore W2897799977C2524010 @default.
- W2897799977 hasConceptScore W2897799977C2778770139 @default.
- W2897799977 hasConceptScore W2897799977C33923547 @default.
- W2897799977 hasConceptScore W2897799977C41008148 @default.
- W2897799977 hasConceptScore W2897799977C49937458 @default.
- W2897799977 hasConceptScore W2897799977C6943359 @default.
- W2897799977 hasConceptScore W2897799977C80444323 @default.
- W2897799977 hasConceptScore W2897799977C97355855 @default.
- W2897799977 hasConceptScore W2897799977C98045186 @default.
- W2897799977 hasLocation W28977999771 @default.
- W2897799977 hasOpenAccess W2897799977 @default.
- W2897799977 hasPrimaryLocation W28977999771 @default.
- W2897799977 hasRelatedWork W1519537232 @default.
- W2897799977 hasRelatedWork W1567979241 @default.
- W2897799977 hasRelatedWork W1844821597 @default.
- W2897799977 hasRelatedWork W1978208568 @default.
- W2897799977 hasRelatedWork W1991849315 @default.
- W2897799977 hasRelatedWork W2001162920 @default.
- W2897799977 hasRelatedWork W2023972603 @default.
- W2897799977 hasRelatedWork W2034695828 @default.
- W2897799977 hasRelatedWork W205188998 @default.
- W2897799977 hasRelatedWork W2067553240 @default.
- W2897799977 hasRelatedWork W2073305604 @default.
- W2897799977 hasRelatedWork W2123566718 @default.
- W2897799977 hasRelatedWork W2126058650 @default.
- W2897799977 hasRelatedWork W2137162774 @default.
- W2897799977 hasRelatedWork W2358190693 @default.
- W2897799977 hasRelatedWork W2787547992 @default.
- W2897799977 hasRelatedWork W3002244537 @default.
- W2897799977 hasRelatedWork W3177059862 @default.
- W2897799977 hasRelatedWork W60982031 @default.
- W2897799977 hasRelatedWork W191664233 @default.
- W2897799977 isParatext "false" @default.
- W2897799977 isRetracted "false" @default.
- W2897799977 magId "2897799977" @default.
- W2897799977 workType "book-chapter" @default.