Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008164512> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2008164512 abstract "Formal methods research has made tremendous progress since the 1980s when a proof using a theorem prover was worthy of a Ph.D. thesis and a bug in a VLSI textbook was found using a model checker. Now, with advances in theorem proving, model checking, satisfiability modulo theories (SMT) solvers, and program analysis, the engines of formal methods are more sophisticated and are applicable and scalable: to a wide range of domains, from biology to mathematics; to a wide range of systems, from asynchronous systems to spreadsheets; and for a wide range of properties, from security to program termination. In this talk, I will present a few Microsoft Research stories of advances in formal methods and their application to Microsoft products and services. Formal methods use, however, is not routine?yet?in industrial practice. So, I will close with outstanding challenges and new directions for research in formal methods." @default.
- W2008164512 created "2016-06-24" @default.
- W2008164512 creator A5052383402 @default.
- W2008164512 date "2013-11-10" @default.
- W2008164512 modified "2023-09-26" @default.
- W2008164512 title "Formal methods" @default.
- W2008164512 doi "https://doi.org/10.1145/2527269.2527291" @default.
- W2008164512 hasPublicationYear "2013" @default.
- W2008164512 type Work @default.
- W2008164512 sameAs 2008164512 @default.
- W2008164512 citedByCount "0" @default.
- W2008164512 crossrefType "proceedings-article" @default.
- W2008164512 hasAuthorship W2008164512A5052383402 @default.
- W2008164512 hasConcept C110251889 @default.
- W2008164512 hasConcept C111498074 @default.
- W2008164512 hasConcept C115903868 @default.
- W2008164512 hasConcept C151319957 @default.
- W2008164512 hasConcept C159985019 @default.
- W2008164512 hasConcept C164155591 @default.
- W2008164512 hasConcept C192562407 @default.
- W2008164512 hasConcept C199360897 @default.
- W2008164512 hasConcept C204323151 @default.
- W2008164512 hasConcept C206880738 @default.
- W2008164512 hasConcept C31258907 @default.
- W2008164512 hasConcept C41008148 @default.
- W2008164512 hasConcept C48044578 @default.
- W2008164512 hasConcept C75606506 @default.
- W2008164512 hasConcept C77088390 @default.
- W2008164512 hasConcept C80444323 @default.
- W2008164512 hasConcept C96654402 @default.
- W2008164512 hasConceptScore W2008164512C110251889 @default.
- W2008164512 hasConceptScore W2008164512C111498074 @default.
- W2008164512 hasConceptScore W2008164512C115903868 @default.
- W2008164512 hasConceptScore W2008164512C151319957 @default.
- W2008164512 hasConceptScore W2008164512C159985019 @default.
- W2008164512 hasConceptScore W2008164512C164155591 @default.
- W2008164512 hasConceptScore W2008164512C192562407 @default.
- W2008164512 hasConceptScore W2008164512C199360897 @default.
- W2008164512 hasConceptScore W2008164512C204323151 @default.
- W2008164512 hasConceptScore W2008164512C206880738 @default.
- W2008164512 hasConceptScore W2008164512C31258907 @default.
- W2008164512 hasConceptScore W2008164512C41008148 @default.
- W2008164512 hasConceptScore W2008164512C48044578 @default.
- W2008164512 hasConceptScore W2008164512C75606506 @default.
- W2008164512 hasConceptScore W2008164512C77088390 @default.
- W2008164512 hasConceptScore W2008164512C80444323 @default.
- W2008164512 hasConceptScore W2008164512C96654402 @default.
- W2008164512 hasLocation W20081645121 @default.
- W2008164512 hasOpenAccess W2008164512 @default.
- W2008164512 hasPrimaryLocation W20081645121 @default.
- W2008164512 hasRelatedWork W1522734007 @default.
- W2008164512 hasRelatedWork W1863066700 @default.
- W2008164512 hasRelatedWork W2037318704 @default.
- W2008164512 hasRelatedWork W2103336723 @default.
- W2008164512 hasRelatedWork W2130343303 @default.
- W2008164512 hasRelatedWork W2152752131 @default.
- W2008164512 hasRelatedWork W3190680636 @default.
- W2008164512 hasRelatedWork W4299734787 @default.
- W2008164512 hasRelatedWork W747351012 @default.
- W2008164512 hasRelatedWork W2730810693 @default.
- W2008164512 isParatext "false" @default.
- W2008164512 isRetracted "false" @default.
- W2008164512 magId "2008164512" @default.
- W2008164512 workType "article" @default.