Matches in SemOpenAlex for { <https://semopenalex.org/work/W1969356716> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1969356716 endingPage "276" @default.
- W1969356716 startingPage "245" @default.
- W1969356716 abstract "In software engineering there is a growing demand for formal methods for the specification and validation of software systems. The formal development of a system might give rise to many proof obligations. We must prove the completeness of the specification and the validity of some inductive properties. In this framework, many provers have been developed. However they require much user interaction even for simple proof tasks. In this paper, we present new procedures to test sufficient completeness and to prove or disprove inductive properties automatically in para-meterized conditional specifications. The method has been implemented in the prover SPIKE. Computer experiments illustrate the improvements in length and structure of proofs, due to parameterization. Moreover, SPIKE offers facilities to check and complete specifications." @default.
- W1969356716 created "2016-06-24" @default.
- W1969356716 creator A5075259756 @default.
- W1969356716 date "1996-12-15" @default.
- W1969356716 modified "2023-10-18" @default.
- W1969356716 title "Using induction and rewriting to verify and complete parameterized specifications" @default.
- W1969356716 cites W1481699584 @default.
- W1969356716 cites W1500498262 @default.
- W1969356716 cites W1563061915 @default.
- W1969356716 cites W1579647526 @default.
- W1969356716 cites W1871398709 @default.
- W1969356716 cites W1987150355 @default.
- W1969356716 cites W2004078689 @default.
- W1969356716 cites W2007781051 @default.
- W1969356716 cites W2012302250 @default.
- W1969356716 cites W2015874281 @default.
- W1969356716 cites W2021173362 @default.
- W1969356716 cites W2035209295 @default.
- W1969356716 cites W2056774266 @default.
- W1969356716 cites W2068188619 @default.
- W1969356716 cites W2074030070 @default.
- W1969356716 cites W2077789910 @default.
- W1969356716 cites W2086312242 @default.
- W1969356716 cites W2087028873 @default.
- W1969356716 cites W2098162645 @default.
- W1969356716 cites W2099078002 @default.
- W1969356716 cites W2121757274 @default.
- W1969356716 cites W2132750992 @default.
- W1969356716 cites W2134338128 @default.
- W1969356716 cites W2149640269 @default.
- W1969356716 cites W2886170 @default.
- W1969356716 cites W59731535 @default.
- W1969356716 doi "https://doi.org/10.1016/s0304-3975(96)00005-9" @default.
- W1969356716 hasPublicationYear "1996" @default.
- W1969356716 type Work @default.
- W1969356716 sameAs 1969356716 @default.
- W1969356716 citedByCount "13" @default.
- W1969356716 crossrefType "journal-article" @default.
- W1969356716 hasAuthorship W1969356716A5075259756 @default.
- W1969356716 hasBestOaLocation W19693567161 @default.
- W1969356716 hasConcept C108710211 @default.
- W1969356716 hasConcept C111472728 @default.
- W1969356716 hasConcept C11413529 @default.
- W1969356716 hasConcept C116253237 @default.
- W1969356716 hasConcept C134306372 @default.
- W1969356716 hasConcept C138885662 @default.
- W1969356716 hasConcept C154690210 @default.
- W1969356716 hasConcept C159718280 @default.
- W1969356716 hasConcept C165464430 @default.
- W1969356716 hasConcept C17231256 @default.
- W1969356716 hasConcept C199360897 @default.
- W1969356716 hasConcept C203265346 @default.
- W1969356716 hasConcept C206880738 @default.
- W1969356716 hasConcept C2524010 @default.
- W1969356716 hasConcept C2780586882 @default.
- W1969356716 hasConcept C33923547 @default.
- W1969356716 hasConcept C41008148 @default.
- W1969356716 hasConcept C75606506 @default.
- W1969356716 hasConcept C80444323 @default.
- W1969356716 hasConceptScore W1969356716C108710211 @default.
- W1969356716 hasConceptScore W1969356716C111472728 @default.
- W1969356716 hasConceptScore W1969356716C11413529 @default.
- W1969356716 hasConceptScore W1969356716C116253237 @default.
- W1969356716 hasConceptScore W1969356716C134306372 @default.
- W1969356716 hasConceptScore W1969356716C138885662 @default.
- W1969356716 hasConceptScore W1969356716C154690210 @default.
- W1969356716 hasConceptScore W1969356716C159718280 @default.
- W1969356716 hasConceptScore W1969356716C165464430 @default.
- W1969356716 hasConceptScore W1969356716C17231256 @default.
- W1969356716 hasConceptScore W1969356716C199360897 @default.
- W1969356716 hasConceptScore W1969356716C203265346 @default.
- W1969356716 hasConceptScore W1969356716C206880738 @default.
- W1969356716 hasConceptScore W1969356716C2524010 @default.
- W1969356716 hasConceptScore W1969356716C2780586882 @default.
- W1969356716 hasConceptScore W1969356716C33923547 @default.
- W1969356716 hasConceptScore W1969356716C41008148 @default.
- W1969356716 hasConceptScore W1969356716C75606506 @default.
- W1969356716 hasConceptScore W1969356716C80444323 @default.
- W1969356716 hasIssue "1-2" @default.
- W1969356716 hasLocation W19693567161 @default.
- W1969356716 hasOpenAccess W1969356716 @default.
- W1969356716 hasPrimaryLocation W19693567161 @default.
- W1969356716 hasRelatedWork W1500931134 @default.
- W1969356716 hasRelatedWork W1503487801 @default.
- W1969356716 hasRelatedWork W1510950510 @default.
- W1969356716 hasRelatedWork W1515169568 @default.
- W1969356716 hasRelatedWork W1522873391 @default.
- W1969356716 hasRelatedWork W1548424781 @default.
- W1969356716 hasRelatedWork W2400995082 @default.
- W1969356716 hasRelatedWork W2803950828 @default.
- W1969356716 hasRelatedWork W4246703498 @default.
- W1969356716 hasRelatedWork W2484297051 @default.
- W1969356716 hasVolume "170" @default.
- W1969356716 isParatext "false" @default.
- W1969356716 isRetracted "false" @default.
- W1969356716 magId "1969356716" @default.
- W1969356716 workType "article" @default.