Matches in SemOpenAlex for { <https://semopenalex.org/work/W2243056059> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2243056059 endingPage "112" @default.
- W2243056059 startingPage "103" @default.
- W2243056059 abstract "We present a near-future research agenda for bringing a suite of modern programming-languages verification tools - specifically interactive theorem proving, solver-aided languages, and formally defined domain-specific languages - to the development of a specific safety-critical system, a radiotherapy medical device. We sketch how we believe recent programming-languages research advances can merge with existing best practices for safety-critical systems to increase system assurance and developer productivity. We motivate hypotheses central to our agenda: That we should start with a single specific system and that we need to integrate a variety of complementary verification and synthesis tools into system development." @default.
- W2243056059 created "2016-06-24" @default.
- W2243056059 creator A5009835433 @default.
- W2243056059 creator A5032068969 @default.
- W2243056059 creator A5033317823 @default.
- W2243056059 creator A5042187082 @default.
- W2243056059 creator A5053901060 @default.
- W2243056059 creator A5067137617 @default.
- W2243056059 creator A5077068949 @default.
- W2243056059 creator A5088791029 @default.
- W2243056059 date "2015-04-28" @default.
- W2243056059 modified "2023-10-17" @default.
- W2243056059 title "Toward a dependability case language and workflow for a radiation therapy system" @default.
- W2243056059 doi "https://doi.org/10.4230/lipics.snapl.2015.103" @default.
- W2243056059 hasPublicationYear "2015" @default.
- W2243056059 type Work @default.
- W2243056059 sameAs 2243056059 @default.
- W2243056059 citedByCount "1" @default.
- W2243056059 countsByYear W22430560592016 @default.
- W2243056059 crossrefType "journal-article" @default.
- W2243056059 hasAuthorship W2243056059A5009835433 @default.
- W2243056059 hasAuthorship W2243056059A5032068969 @default.
- W2243056059 hasAuthorship W2243056059A5033317823 @default.
- W2243056059 hasAuthorship W2243056059A5042187082 @default.
- W2243056059 hasAuthorship W2243056059A5053901060 @default.
- W2243056059 hasAuthorship W2243056059A5067137617 @default.
- W2243056059 hasAuthorship W2243056059A5077068949 @default.
- W2243056059 hasAuthorship W2243056059A5088791029 @default.
- W2243056059 hasConcept C11413529 @default.
- W2243056059 hasConcept C115903868 @default.
- W2243056059 hasConcept C135257023 @default.
- W2243056059 hasConcept C136197465 @default.
- W2243056059 hasConcept C154945302 @default.
- W2243056059 hasConcept C166957645 @default.
- W2243056059 hasConcept C177212765 @default.
- W2243056059 hasConcept C199360897 @default.
- W2243056059 hasConcept C2779231336 @default.
- W2243056059 hasConcept C41008148 @default.
- W2243056059 hasConcept C77019957 @default.
- W2243056059 hasConcept C77088390 @default.
- W2243056059 hasConcept C79581498 @default.
- W2243056059 hasConcept C95457728 @default.
- W2243056059 hasConceptScore W2243056059C11413529 @default.
- W2243056059 hasConceptScore W2243056059C115903868 @default.
- W2243056059 hasConceptScore W2243056059C135257023 @default.
- W2243056059 hasConceptScore W2243056059C136197465 @default.
- W2243056059 hasConceptScore W2243056059C154945302 @default.
- W2243056059 hasConceptScore W2243056059C166957645 @default.
- W2243056059 hasConceptScore W2243056059C177212765 @default.
- W2243056059 hasConceptScore W2243056059C199360897 @default.
- W2243056059 hasConceptScore W2243056059C2779231336 @default.
- W2243056059 hasConceptScore W2243056059C41008148 @default.
- W2243056059 hasConceptScore W2243056059C77019957 @default.
- W2243056059 hasConceptScore W2243056059C77088390 @default.
- W2243056059 hasConceptScore W2243056059C79581498 @default.
- W2243056059 hasConceptScore W2243056059C95457728 @default.
- W2243056059 hasIssue "32" @default.
- W2243056059 hasLocation W22430560591 @default.
- W2243056059 hasOpenAccess W2243056059 @default.
- W2243056059 hasPrimaryLocation W22430560591 @default.
- W2243056059 hasRelatedWork W1496951780 @default.
- W2243056059 hasRelatedWork W154008616 @default.
- W2243056059 hasRelatedWork W1805079015 @default.
- W2243056059 hasRelatedWork W186429337 @default.
- W2243056059 hasRelatedWork W1971692503 @default.
- W2243056059 hasRelatedWork W2069082780 @default.
- W2243056059 hasRelatedWork W2181484879 @default.
- W2243056059 hasRelatedWork W222944001 @default.
- W2243056059 hasRelatedWork W2260628101 @default.
- W2243056059 hasRelatedWork W2396666914 @default.
- W2243056059 hasRelatedWork W2600872862 @default.
- W2243056059 hasRelatedWork W2768036935 @default.
- W2243056059 hasRelatedWork W2969415817 @default.
- W2243056059 hasRelatedWork W2985880800 @default.
- W2243056059 hasRelatedWork W3080758505 @default.
- W2243056059 hasRelatedWork W3098373814 @default.
- W2243056059 hasRelatedWork W3104936023 @default.
- W2243056059 hasRelatedWork W3210338105 @default.
- W2243056059 hasRelatedWork W3213524191 @default.
- W2243056059 hasRelatedWork W830296279 @default.
- W2243056059 isParatext "false" @default.
- W2243056059 isRetracted "false" @default.
- W2243056059 magId "2243056059" @default.
- W2243056059 workType "article" @default.