Matches in SemOpenAlex for { <https://semopenalex.org/work/W1764747026> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1764747026 abstract "Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: * To better inform deliberations within industry and government on standards and regulations; * To provide an authoritative record on the practical experience of formal methods to date; and To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston." @default.
- W1764747026 created "2016-06-24" @default.
- W1764747026 creator A5012891139 @default.
- W1764747026 creator A5042986930 @default.
- W1764747026 creator A5048367277 @default.
- W1764747026 date "1995-03-07" @default.
- W1764747026 modified "2023-09-24" @default.
- W1764747026 title "Industrial applications of formal methods to model, design and analyze computer systems: an international survey" @default.
- W1764747026 hasPublicationYear "1995" @default.
- W1764747026 type Work @default.
- W1764747026 sameAs 1764747026 @default.
- W1764747026 citedByCount "8" @default.
- W1764747026 countsByYear W17647470262012 @default.
- W1764747026 countsByYear W17647470262021 @default.
- W1764747026 crossrefType "book" @default.
- W1764747026 hasAuthorship W1764747026A5012891139 @default.
- W1764747026 hasAuthorship W1764747026A5042986930 @default.
- W1764747026 hasAuthorship W1764747026A5048367277 @default.
- W1764747026 hasConcept C110354214 @default.
- W1764747026 hasConcept C111219384 @default.
- W1764747026 hasConcept C115903868 @default.
- W1764747026 hasConcept C127413603 @default.
- W1764747026 hasConcept C138885662 @default.
- W1764747026 hasConcept C201995342 @default.
- W1764747026 hasConcept C204321447 @default.
- W1764747026 hasConcept C2778137410 @default.
- W1764747026 hasConcept C41008148 @default.
- W1764747026 hasConcept C41895202 @default.
- W1764747026 hasConcept C42475967 @default.
- W1764747026 hasConcept C75606506 @default.
- W1764747026 hasConceptScore W1764747026C110354214 @default.
- W1764747026 hasConceptScore W1764747026C111219384 @default.
- W1764747026 hasConceptScore W1764747026C115903868 @default.
- W1764747026 hasConceptScore W1764747026C127413603 @default.
- W1764747026 hasConceptScore W1764747026C138885662 @default.
- W1764747026 hasConceptScore W1764747026C201995342 @default.
- W1764747026 hasConceptScore W1764747026C204321447 @default.
- W1764747026 hasConceptScore W1764747026C2778137410 @default.
- W1764747026 hasConceptScore W1764747026C41008148 @default.
- W1764747026 hasConceptScore W1764747026C41895202 @default.
- W1764747026 hasConceptScore W1764747026C42475967 @default.
- W1764747026 hasConceptScore W1764747026C75606506 @default.
- W1764747026 hasLocation W17647470261 @default.
- W1764747026 hasOpenAccess W1764747026 @default.
- W1764747026 hasPrimaryLocation W17647470261 @default.
- W1764747026 hasRelatedWork W100351754 @default.
- W1764747026 hasRelatedWork W1525223041 @default.
- W1764747026 hasRelatedWork W1579860206 @default.
- W1764747026 hasRelatedWork W1637874174 @default.
- W1764747026 hasRelatedWork W2007314525 @default.
- W1764747026 hasRelatedWork W2040190375 @default.
- W1764747026 hasRelatedWork W2043170675 @default.
- W1764747026 hasRelatedWork W2150189917 @default.
- W1764747026 hasRelatedWork W2153816453 @default.
- W1764747026 hasRelatedWork W2163851162 @default.
- W1764747026 hasRelatedWork W2326073729 @default.
- W1764747026 hasRelatedWork W2531368970 @default.
- W1764747026 hasRelatedWork W2541530748 @default.
- W1764747026 hasRelatedWork W2981044309 @default.
- W1764747026 hasRelatedWork W3023120737 @default.
- W1764747026 hasRelatedWork W3134402730 @default.
- W1764747026 hasRelatedWork W570900203 @default.
- W1764747026 hasRelatedWork W768517194 @default.
- W1764747026 hasRelatedWork W281618637 @default.
- W1764747026 hasRelatedWork W835551877 @default.
- W1764747026 isParatext "false" @default.
- W1764747026 isRetracted "false" @default.
- W1764747026 magId "1764747026" @default.
- W1764747026 workType "book" @default.