FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904222803> ?p ?o ?g. }

• W2904222803 abstract "Formal methods for system design are facing a confluence of transformative trends. First, systems are increasingly heterogeneous, comprising some combination of hardware, software, networking, and physical processes. Second, these systems are increasingly being designed with data-driven methods, in addition to traditional model-based design techniques. Third, traditional automated reasoning techniques based on deduction are being combined with new techniques for inductive inference and machine learning. In this paper, we present UCLID5, a new system for formal modeling, verification, and synthesis that addresses the challenges and opportunities arising from this confluence. UCLID5 can model heterogeneous computational systems, provides term-level abstraction supported by satisfiability modulo theories (SMT) solvers, enables compositional reasoning, and implements the paradigm of verification by reduction to synthesis, leveraging the advances in algorithmic synthesis and machine learning. We describe the key features of UCLID5 using illustrative examples." @default.
• W2904222803 created "2018-12-22" @default.
• W2904222803 creator A5008664161 @default.
• W2904222803 creator A5064230639 @default.
• W2904222803 date "2018-10-01" @default.
• W2904222803 modified "2023-10-10" @default.
• W2904222803 title "UCLID5: Integrating Modeling, Verification, Synthesis and Learning" @default.
• W2904222803 cites W1528837436 @default.
• W2904222803 cites W1565996669 @default.
• W2904222803 cites W1900583228 @default.
• W2904222803 cites W1971824836 @default.
• W2904222803 cites W1992431017 @default.
• W2904222803 cites W1993836075 @default.
• W2904222803 cites W1999396796 @default.
• W2904222803 cites W2001289891 @default.
• W2904222803 cites W2060440626 @default.
• W2904222803 cites W2080267935 @default.
• W2904222803 cites W2094745524 @default.
• W2904222803 cites W2094878426 @default.
• W2904222803 cites W2115309705 @default.
• W2904222803 cites W2134734244 @default.
• W2904222803 cites W2149236697 @default.
• W2904222803 cites W2155938123 @default.
• W2904222803 cites W2159152974 @default.
• W2904222803 cites W2163671349 @default.
• W2904222803 cites W2170486381 @default.
• W2904222803 cites W2404126842 @default.
• W2904222803 cites W2503425026 @default.
• W2904222803 cites W258469679 @default.
• W2904222803 cites W2767174522 @default.
• W2904222803 cites W2803980942 @default.
• W2904222803 cites W2804015072 @default.
• W2904222803 cites W2964335063 @default.
• W2904222803 cites W4242177437 @default.
• W2904222803 cites W4250728693 @default.
• W2904222803 cites W4296471858 @default.
• W2904222803 doi "https://doi.org/10.1109/memcod.2018.8556946" @default.
• W2904222803 hasPublicationYear "2018" @default.
• W2904222803 type Work @default.
• W2904222803 sameAs 2904222803 @default.
• W2904222803 citedByCount "21" @default.
• W2904222803 countsByYear W29042228032019 @default.
• W2904222803 countsByYear W29042228032020 @default.
• W2904222803 countsByYear W29042228032021 @default.
• W2904222803 countsByYear W29042228032022 @default.
• W2904222803 countsByYear W29042228032023 @default.
• W2904222803 crossrefType "proceedings-article" @default.
• W2904222803 hasAuthorship W2904222803A5008664161 @default.
• W2904222803 hasAuthorship W2904222803A5064230639 @default.
• W2904222803 hasConcept C110251889 @default.
• W2904222803 hasConcept C111472728 @default.
• W2904222803 hasConcept C111498074 @default.
• W2904222803 hasConcept C114614502 @default.
• W2904222803 hasConcept C115903868 @default.
• W2904222803 hasConcept C124304363 @default.
• W2904222803 hasConcept C138885662 @default.
• W2904222803 hasConcept C154945302 @default.
• W2904222803 hasConcept C164155591 @default.
• W2904222803 hasConcept C199360897 @default.
• W2904222803 hasConcept C26517878 @default.
• W2904222803 hasConcept C33923547 @default.
• W2904222803 hasConcept C38652104 @default.
• W2904222803 hasConcept C41008148 @default.
• W2904222803 hasConcept C54732982 @default.
• W2904222803 hasConcept C75606506 @default.
• W2904222803 hasConcept C80444323 @default.
• W2904222803 hasConcept C96654402 @default.
• W2904222803 hasConceptScore W2904222803C110251889 @default.
• W2904222803 hasConceptScore W2904222803C111472728 @default.
• W2904222803 hasConceptScore W2904222803C111498074 @default.
• W2904222803 hasConceptScore W2904222803C114614502 @default.
• W2904222803 hasConceptScore W2904222803C115903868 @default.
• W2904222803 hasConceptScore W2904222803C124304363 @default.
• W2904222803 hasConceptScore W2904222803C138885662 @default.
• W2904222803 hasConceptScore W2904222803C154945302 @default.
• W2904222803 hasConceptScore W2904222803C164155591 @default.
• W2904222803 hasConceptScore W2904222803C199360897 @default.
• W2904222803 hasConceptScore W2904222803C26517878 @default.
• W2904222803 hasConceptScore W2904222803C33923547 @default.
• W2904222803 hasConceptScore W2904222803C38652104 @default.
• W2904222803 hasConceptScore W2904222803C41008148 @default.
• W2904222803 hasConceptScore W2904222803C54732982 @default.
• W2904222803 hasConceptScore W2904222803C75606506 @default.
• W2904222803 hasConceptScore W2904222803C80444323 @default.
• W2904222803 hasConceptScore W2904222803C96654402 @default.
• W2904222803 hasLocation W29042228031 @default.
• W2904222803 hasOpenAccess W2904222803 @default.
• W2904222803 hasPrimaryLocation W29042228031 @default.
• W2904222803 hasRelatedWork W1505631339 @default.
• W2904222803 hasRelatedWork W1595003990 @default.
• W2904222803 hasRelatedWork W2088632015 @default.
• W2904222803 hasRelatedWork W2137328468 @default.
• W2904222803 hasRelatedWork W2144535109 @default.
• W2904222803 hasRelatedWork W2152752131 @default.
• W2904222803 hasRelatedWork W2391979747 @default.
• W2904222803 hasRelatedWork W2534958226 @default.
• W2904222803 hasRelatedWork W2981877881 @default.
• W2904222803 hasRelatedWork W76179479 @default.
• W2904222803 isParatext "false" @default.
• W2904222803 isRetracted "false" @default.

• next