Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592027468> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1592027468 endingPage "71" @default.
- W1592027468 startingPage "52" @default.
- W1592027468 abstract "We use a structure preserving encoding of Z in the higher-order logic instance of the generic theorem prover Isabelle to derive test cases from Z specifications. This work shows how advanced theorem provers can be used with little effort to provide tool support for Z beyond mere type-checking. Experience with a non-trivial example shows that modular reasoning according to the structure of a specification is crucial to keep the proof-load manageable in practical applications. Support for modular reasoning can be based on higher-order equational reasoning as implemented in Isabelle." @default.
- W1592027468 created "2016-06-24" @default.
- W1592027468 creator A5052118436 @default.
- W1592027468 creator A5061933277 @default.
- W1592027468 creator A5079898920 @default.
- W1592027468 date "1997-01-01" @default.
- W1592027468 modified "2023-09-26" @default.
- W1592027468 title "Automating test case generation from Z specifications with Isabelle" @default.
- W1592027468 cites W1505271495 @default.
- W1592027468 cites W1527688737 @default.
- W1592027468 cites W1542040340 @default.
- W1592027468 cites W1567147371 @default.
- W1592027468 cites W1787500456 @default.
- W1592027468 cites W1793594655 @default.
- W1592027468 cites W1828889393 @default.
- W1592027468 cites W2494919981 @default.
- W1592027468 cites W2505429699 @default.
- W1592027468 cites W260874790 @default.
- W1592027468 cites W4234528212 @default.
- W1592027468 cites W4251796940 @default.
- W1592027468 doi "https://doi.org/10.1007/bfb0027283" @default.
- W1592027468 hasPublicationYear "1997" @default.
- W1592027468 type Work @default.
- W1592027468 sameAs 1592027468 @default.
- W1592027468 citedByCount "52" @default.
- W1592027468 countsByYear W15920274682012 @default.
- W1592027468 countsByYear W15920274682013 @default.
- W1592027468 countsByYear W15920274682014 @default.
- W1592027468 countsByYear W15920274682016 @default.
- W1592027468 countsByYear W15920274682017 @default.
- W1592027468 countsByYear W15920274682019 @default.
- W1592027468 countsByYear W15920274682022 @default.
- W1592027468 crossrefType "book-chapter" @default.
- W1592027468 hasAuthorship W1592027468A5052118436 @default.
- W1592027468 hasAuthorship W1592027468A5061933277 @default.
- W1592027468 hasAuthorship W1592027468A5079898920 @default.
- W1592027468 hasConcept C101468663 @default.
- W1592027468 hasConcept C108710211 @default.
- W1592027468 hasConcept C159718280 @default.
- W1592027468 hasConcept C199360897 @default.
- W1592027468 hasConcept C203265346 @default.
- W1592027468 hasConcept C206880738 @default.
- W1592027468 hasConcept C2524010 @default.
- W1592027468 hasConcept C33923547 @default.
- W1592027468 hasConcept C41008148 @default.
- W1592027468 hasConceptScore W1592027468C101468663 @default.
- W1592027468 hasConceptScore W1592027468C108710211 @default.
- W1592027468 hasConceptScore W1592027468C159718280 @default.
- W1592027468 hasConceptScore W1592027468C199360897 @default.
- W1592027468 hasConceptScore W1592027468C203265346 @default.
- W1592027468 hasConceptScore W1592027468C206880738 @default.
- W1592027468 hasConceptScore W1592027468C2524010 @default.
- W1592027468 hasConceptScore W1592027468C33923547 @default.
- W1592027468 hasConceptScore W1592027468C41008148 @default.
- W1592027468 hasLocation W15920274681 @default.
- W1592027468 hasOpenAccess W1592027468 @default.
- W1592027468 hasPrimaryLocation W15920274681 @default.
- W1592027468 hasRelatedWork W1515169568 @default.
- W1592027468 hasRelatedWork W2100855196 @default.
- W1592027468 hasRelatedWork W2186727393 @default.
- W1592027468 hasRelatedWork W2476186566 @default.
- W1592027468 hasRelatedWork W2606289262 @default.
- W1592027468 hasRelatedWork W2797950816 @default.
- W1592027468 hasRelatedWork W2950961618 @default.
- W1592027468 hasRelatedWork W2964806919 @default.
- W1592027468 hasRelatedWork W42830828 @default.
- W1592027468 hasRelatedWork W4297063300 @default.
- W1592027468 isParatext "false" @default.
- W1592027468 isRetracted "false" @default.
- W1592027468 magId "1592027468" @default.
- W1592027468 workType "book-chapter" @default.