Matches in SemOpenAlex for { <https://semopenalex.org/work/W1575118279> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1575118279 endingPage "418" @default.
- W1575118279 startingPage "415" @default.
- W1575118279 abstract "The Stanford Temporal Prover, STeP, combines deductive methods with algorithmic techniques to verify linear-time temporal logic specifications of reactive and real-time systems. STeP uses verification rules, verification diagrams, automatically generated invariants, model checking, and a collection of decision procedures to verify finite- and infinite-state systems." @default.
- W1575118279 created "2016-06-24" @default.
- W1575118279 creator A5030664377 @default.
- W1575118279 creator A5034436241 @default.
- W1575118279 creator A5036038185 @default.
- W1575118279 creator A5042470042 @default.
- W1575118279 creator A5044496298 @default.
- W1575118279 creator A5058348937 @default.
- W1575118279 creator A5059046698 @default.
- W1575118279 creator A5091080723 @default.
- W1575118279 date "1996-01-01" @default.
- W1575118279 modified "2023-09-28" @default.
- W1575118279 title "STeP: Deductive-algorithmic verification of reactive and real-time systems" @default.
- W1575118279 cites W120333500 @default.
- W1575118279 cites W1559397325 @default.
- W1575118279 cites W1605381479 @default.
- W1575118279 cites W1699259381 @default.
- W1575118279 cites W2125617568 @default.
- W1575118279 cites W4232096339 @default.
- W1575118279 cites W4238309028 @default.
- W1575118279 doi "https://doi.org/10.1007/3-540-61474-5_92" @default.
- W1575118279 hasPublicationYear "1996" @default.
- W1575118279 type Work @default.
- W1575118279 sameAs 1575118279 @default.
- W1575118279 citedByCount "81" @default.
- W1575118279 countsByYear W15751182792012 @default.
- W1575118279 countsByYear W15751182792013 @default.
- W1575118279 countsByYear W15751182792014 @default.
- W1575118279 countsByYear W15751182792015 @default.
- W1575118279 countsByYear W15751182792016 @default.
- W1575118279 countsByYear W15751182792018 @default.
- W1575118279 countsByYear W15751182792019 @default.
- W1575118279 crossrefType "book-chapter" @default.
- W1575118279 hasAuthorship W1575118279A5030664377 @default.
- W1575118279 hasAuthorship W1575118279A5034436241 @default.
- W1575118279 hasAuthorship W1575118279A5036038185 @default.
- W1575118279 hasAuthorship W1575118279A5042470042 @default.
- W1575118279 hasAuthorship W1575118279A5044496298 @default.
- W1575118279 hasAuthorship W1575118279A5058348937 @default.
- W1575118279 hasAuthorship W1575118279A5059046698 @default.
- W1575118279 hasAuthorship W1575118279A5091080723 @default.
- W1575118279 hasConcept C41008148 @default.
- W1575118279 hasConceptScore W1575118279C41008148 @default.
- W1575118279 hasLocation W15751182791 @default.
- W1575118279 hasOpenAccess W1575118279 @default.
- W1575118279 hasPrimaryLocation W15751182791 @default.
- W1575118279 hasRelatedWork W2093578348 @default.
- W1575118279 hasRelatedWork W2096946506 @default.
- W1575118279 hasRelatedWork W2350741829 @default.
- W1575118279 hasRelatedWork W2358668433 @default.
- W1575118279 hasRelatedWork W2376932109 @default.
- W1575118279 hasRelatedWork W2382290278 @default.
- W1575118279 hasRelatedWork W2390279801 @default.
- W1575118279 hasRelatedWork W2748952813 @default.
- W1575118279 hasRelatedWork W2766271392 @default.
- W1575118279 hasRelatedWork W2899084033 @default.
- W1575118279 isParatext "false" @default.
- W1575118279 isRetracted "false" @default.
- W1575118279 magId "1575118279" @default.
- W1575118279 workType "book-chapter" @default.