Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230574720> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4230574720 endingPage "86" @default.
- W4230574720 startingPage "85" @default.
- W4230574720 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.
- W4230574720 created "2022-05-11" @default.
- W4230574720 creator A5052383402 @default.
- W4230574720 date "2013-11-10" @default.
- W4230574720 modified "2023-09-26" @default.
- W4230574720 title "Formal methods" @default.
- W4230574720 doi "https://doi.org/10.1145/2658982.2527291" @default.
- W4230574720 hasPublicationYear "2013" @default.
- W4230574720 type Work @default.
- W4230574720 citedByCount "0" @default.
- W4230574720 crossrefType "journal-article" @default.
- W4230574720 hasAuthorship W4230574720A5052383402 @default.
- W4230574720 hasConcept C110251889 @default.
- W4230574720 hasConcept C111498074 @default.
- W4230574720 hasConcept C115903868 @default.
- W4230574720 hasConcept C127413603 @default.
- W4230574720 hasConcept C146978453 @default.
- W4230574720 hasConcept C151319957 @default.
- W4230574720 hasConcept C164155591 @default.
- W4230574720 hasConcept C199360897 @default.
- W4230574720 hasConcept C204323151 @default.
- W4230574720 hasConcept C206880738 @default.
- W4230574720 hasConcept C31258907 @default.
- W4230574720 hasConcept C41008148 @default.
- W4230574720 hasConcept C75606506 @default.
- W4230574720 hasConcept C80444323 @default.
- W4230574720 hasConcept C96654402 @default.
- W4230574720 hasConceptScore W4230574720C110251889 @default.
- W4230574720 hasConceptScore W4230574720C111498074 @default.
- W4230574720 hasConceptScore W4230574720C115903868 @default.
- W4230574720 hasConceptScore W4230574720C127413603 @default.
- W4230574720 hasConceptScore W4230574720C146978453 @default.
- W4230574720 hasConceptScore W4230574720C151319957 @default.
- W4230574720 hasConceptScore W4230574720C164155591 @default.
- W4230574720 hasConceptScore W4230574720C199360897 @default.
- W4230574720 hasConceptScore W4230574720C204323151 @default.
- W4230574720 hasConceptScore W4230574720C206880738 @default.
- W4230574720 hasConceptScore W4230574720C31258907 @default.
- W4230574720 hasConceptScore W4230574720C41008148 @default.
- W4230574720 hasConceptScore W4230574720C75606506 @default.
- W4230574720 hasConceptScore W4230574720C80444323 @default.
- W4230574720 hasConceptScore W4230574720C96654402 @default.
- W4230574720 hasIssue "3" @default.
- W4230574720 hasLocation W42305747201 @default.
- W4230574720 hasOpenAccess W4230574720 @default.
- W4230574720 hasPrimaryLocation W42305747201 @default.
- W4230574720 hasRelatedWork W1522734007 @default.
- W4230574720 hasRelatedWork W1863066700 @default.
- W4230574720 hasRelatedWork W2037318704 @default.
- W4230574720 hasRelatedWork W2103336723 @default.
- W4230574720 hasRelatedWork W2130343303 @default.
- W4230574720 hasRelatedWork W2152752131 @default.
- W4230574720 hasRelatedWork W3190680636 @default.
- W4230574720 hasRelatedWork W4299734787 @default.
- W4230574720 hasRelatedWork W747351012 @default.
- W4230574720 hasRelatedWork W2730810693 @default.
- W4230574720 hasVolume "33" @default.
- W4230574720 isParatext "false" @default.
- W4230574720 isRetracted "false" @default.
- W4230574720 workType "article" @default.