Matches in SemOpenAlex for { <https://semopenalex.org/work/W28102702> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W28102702 abstract "Aslantest is a symbolic execution tool for the formal specification language Aslan. Aslan is a state-based specification language built on first-order predicate calculus with equality. Aslantest animates Aslan specifications and enables users to interactively run specific test cases or symbolically execute the specification. This document is the user''s manual for the Aslantest system, outlining its features and commands." @default.
- W28102702 created "2016-06-24" @default.
- W28102702 creator A5007330056 @default.
- W28102702 date "1994-01-06" @default.
- W28102702 modified "2023-09-23" @default.
- W28102702 title "Aslantest User''s Manual" @default.
- W28102702 hasPublicationYear "1994" @default.
- W28102702 type Work @default.
- W28102702 sameAs 28102702 @default.
- W28102702 citedByCount "1" @default.
- W28102702 crossrefType "journal-article" @default.
- W28102702 hasAuthorship W28102702A5007330056 @default.
- W28102702 hasConcept C100481476 @default.
- W28102702 hasConcept C116253237 @default.
- W28102702 hasConcept C119263510 @default.
- W28102702 hasConcept C140146324 @default.
- W28102702 hasConcept C15077461 @default.
- W28102702 hasConcept C199360897 @default.
- W28102702 hasConcept C201677973 @default.
- W28102702 hasConcept C34165917 @default.
- W28102702 hasConcept C41008148 @default.
- W28102702 hasConcept C50033165 @default.
- W28102702 hasConcept C90069079 @default.
- W28102702 hasConceptScore W28102702C100481476 @default.
- W28102702 hasConceptScore W28102702C116253237 @default.
- W28102702 hasConceptScore W28102702C119263510 @default.
- W28102702 hasConceptScore W28102702C140146324 @default.
- W28102702 hasConceptScore W28102702C15077461 @default.
- W28102702 hasConceptScore W28102702C199360897 @default.
- W28102702 hasConceptScore W28102702C201677973 @default.
- W28102702 hasConceptScore W28102702C34165917 @default.
- W28102702 hasConceptScore W28102702C41008148 @default.
- W28102702 hasConceptScore W28102702C50033165 @default.
- W28102702 hasConceptScore W28102702C90069079 @default.
- W28102702 hasLocation W281027021 @default.
- W28102702 hasOpenAccess W28102702 @default.
- W28102702 hasPrimaryLocation W281027021 @default.
- W28102702 hasRelatedWork W113458729 @default.
- W28102702 hasRelatedWork W1570560821 @default.
- W28102702 hasRelatedWork W1800986026 @default.
- W28102702 hasRelatedWork W1973839378 @default.
- W28102702 hasRelatedWork W1981450708 @default.
- W28102702 hasRelatedWork W2134020811 @default.
- W28102702 hasRelatedWork W2171644354 @default.
- W28102702 hasRelatedWork W2299452948 @default.
- W28102702 hasRelatedWork W254733047 @default.
- W28102702 hasRelatedWork W3029922323 @default.
- W28102702 hasRelatedWork W43416931 @default.
- W28102702 hasRelatedWork W1494666946 @default.
- W28102702 hasRelatedWork W1556448775 @default.
- W28102702 hasRelatedWork W1924702298 @default.
- W28102702 hasRelatedWork W2108187097 @default.
- W28102702 hasRelatedWork W2784931027 @default.
- W28102702 hasRelatedWork W2811517163 @default.
- W28102702 hasRelatedWork W2821759605 @default.
- W28102702 hasRelatedWork W2828659769 @default.
- W28102702 hasRelatedWork W2879476432 @default.
- W28102702 isParatext "false" @default.
- W28102702 isRetracted "false" @default.
- W28102702 magId "28102702" @default.
- W28102702 workType "article" @default.