Matches in SemOpenAlex for { <https://semopenalex.org/work/W1555070641> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1555070641 abstract "We present an automata-theoretic framework to the verification of concurrent and nondeterministic programs. The basic idea is that to verify that a program P is correct one writes a program A that receives the computation of P as input and diverges only on incorrect computations of P. Now P is correct if and only if the program P A , which is obtained by combining P and A, terminates. This unifies previous works on verification of temporal properties and verification of fair termination." @default.
- W1555070641 created "2016-06-24" @default.
- W1555070641 creator A5000059818 @default.
- W1555070641 date "1989-01-01" @default.
- W1555070641 modified "2023-09-25" @default.
- W1555070641 title "Unified verification theory" @default.
- W1555070641 cites W1489895228 @default.
- W1555070641 cites W1964845238 @default.
- W1555070641 cites W1970603830 @default.
- W1555070641 cites W2003227046 @default.
- W1555070641 cites W2012001501 @default.
- W1555070641 cites W2014552079 @default.
- W1555070641 cites W2023808162 @default.
- W1555070641 cites W2026134631 @default.
- W1555070641 cites W2039025680 @default.
- W1555070641 cites W2058630223 @default.
- W1555070641 cites W2062879749 @default.
- W1555070641 cites W2063825888 @default.
- W1555070641 cites W2073689993 @default.
- W1555070641 cites W2082867148 @default.
- W1555070641 cites W2085533703 @default.
- W1555070641 cites W2086440639 @default.
- W1555070641 cites W2090398333 @default.
- W1555070641 cites W2102484310 @default.
- W1555070641 cites W2111619838 @default.
- W1555070641 cites W2117189826 @default.
- W1555070641 cites W2126395320 @default.
- W1555070641 cites W2143417417 @default.
- W1555070641 cites W2149325295 @default.
- W1555070641 cites W2165161585 @default.
- W1555070641 cites W2165373889 @default.
- W1555070641 cites W2166656159 @default.
- W1555070641 cites W2806619258 @default.
- W1555070641 cites W4240126131 @default.
- W1555070641 cites W4252025696 @default.
- W1555070641 cites W95792212 @default.
- W1555070641 doi "https://doi.org/10.1007/3-540-51803-7_27" @default.
- W1555070641 hasPublicationYear "1989" @default.
- W1555070641 type Work @default.
- W1555070641 sameAs 1555070641 @default.
- W1555070641 citedByCount "13" @default.
- W1555070641 countsByYear W15550706412014 @default.
- W1555070641 countsByYear W15550706412015 @default.
- W1555070641 countsByYear W15550706412019 @default.
- W1555070641 crossrefType "book-chapter" @default.
- W1555070641 hasAuthorship W1555070641A5000059818 @default.
- W1555070641 hasConcept C110251889 @default.
- W1555070641 hasConcept C111498074 @default.
- W1555070641 hasConcept C112505250 @default.
- W1555070641 hasConcept C11413529 @default.
- W1555070641 hasConcept C176181172 @default.
- W1555070641 hasConcept C186846655 @default.
- W1555070641 hasConcept C199360897 @default.
- W1555070641 hasConcept C2777904410 @default.
- W1555070641 hasConcept C33054407 @default.
- W1555070641 hasConcept C41008148 @default.
- W1555070641 hasConcept C45374587 @default.
- W1555070641 hasConcept C529173508 @default.
- W1555070641 hasConcept C80444323 @default.
- W1555070641 hasConceptScore W1555070641C110251889 @default.
- W1555070641 hasConceptScore W1555070641C111498074 @default.
- W1555070641 hasConceptScore W1555070641C112505250 @default.
- W1555070641 hasConceptScore W1555070641C11413529 @default.
- W1555070641 hasConceptScore W1555070641C176181172 @default.
- W1555070641 hasConceptScore W1555070641C186846655 @default.
- W1555070641 hasConceptScore W1555070641C199360897 @default.
- W1555070641 hasConceptScore W1555070641C2777904410 @default.
- W1555070641 hasConceptScore W1555070641C33054407 @default.
- W1555070641 hasConceptScore W1555070641C41008148 @default.
- W1555070641 hasConceptScore W1555070641C45374587 @default.
- W1555070641 hasConceptScore W1555070641C529173508 @default.
- W1555070641 hasConceptScore W1555070641C80444323 @default.
- W1555070641 hasLocation W15550706411 @default.
- W1555070641 hasOpenAccess W1555070641 @default.
- W1555070641 hasPrimaryLocation W15550706411 @default.
- W1555070641 hasRelatedWork W111009595 @default.
- W1555070641 hasRelatedWork W1489391022 @default.
- W1555070641 hasRelatedWork W1503170978 @default.
- W1555070641 hasRelatedWork W1512705201 @default.
- W1555070641 hasRelatedWork W1566242322 @default.
- W1555070641 hasRelatedWork W1583165871 @default.
- W1555070641 hasRelatedWork W1593428110 @default.
- W1555070641 hasRelatedWork W1607782211 @default.
- W1555070641 hasRelatedWork W1982134454 @default.
- W1555070641 hasRelatedWork W1983409972 @default.
- W1555070641 hasRelatedWork W2012935476 @default.
- W1555070641 hasRelatedWork W2019881090 @default.
- W1555070641 hasRelatedWork W2023808162 @default.
- W1555070641 hasRelatedWork W2042087007 @default.
- W1555070641 hasRelatedWork W2054554282 @default.
- W1555070641 hasRelatedWork W2061438988 @default.
- W1555070641 hasRelatedWork W2086440639 @default.
- W1555070641 hasRelatedWork W2090398333 @default.
- W1555070641 hasRelatedWork W2117189826 @default.
- W1555070641 hasRelatedWork W2806619258 @default.
- W1555070641 isParatext "false" @default.
- W1555070641 isRetracted "false" @default.
- W1555070641 magId "1555070641" @default.
- W1555070641 workType "book-chapter" @default.