Matches in SemOpenAlex for { <https://semopenalex.org/work/W753781951> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W753781951 abstract "This research is directed towards the implementation of a comprehensive deductive-algorithmic environment (toolkit) for the development and verification of high assurance reactive systems, especially concurrent, real-time, and hybrid systems. For this, we have designed and implemented the STCP (Stanford Temporal Prover) verification system. Reactive systems have an ongoing interaction with their environment, and their computations are infinite sequences of states. A large number of systems can be seen as reactive systems, including hardware, concurrent programs, network protocols, and embedded systems. Temporal logic provides a convenient language for expressing properties of reactive systems. A temporal verification methodology provides procedures for proving that a given system satisfies a given temporal property. The research covered necessary theoretical foundations as well as implementation and application issues." @default.
- W753781951 created "2016-06-24" @default.
- W753781951 creator A5034436241 @default.
- W753781951 date "1998-01-01" @default.
- W753781951 modified "2023-09-27" @default.
- W753781951 title "Software Development Technologies for Reactive, Real-Time, and Hybrid Systems: Summary of Research" @default.
- W753781951 cites W1506815291 @default.
- W753781951 cites W1553543780 @default.
- W753781951 cites W1559274767 @default.
- W753781951 cites W1559397325 @default.
- W753781951 cites W1600757688 @default.
- W753781951 cites W1602383075 @default.
- W753781951 cites W1695437353 @default.
- W753781951 cites W2045112813 @default.
- W753781951 cites W2325452910 @default.
- W753781951 cites W2695579202 @default.
- W753781951 cites W1601851765 @default.
- W753781951 cites W2519796367 @default.
- W753781951 cites W2520787395 @default.
- W753781951 hasPublicationYear "1998" @default.
- W753781951 type Work @default.
- W753781951 sameAs 753781951 @default.
- W753781951 citedByCount "0" @default.
- W753781951 crossrefType "journal-article" @default.
- W753781951 hasAuthorship W753781951A5034436241 @default.
- W753781951 hasConcept C115903868 @default.
- W753781951 hasConcept C198008173 @default.
- W753781951 hasConcept C199360897 @default.
- W753781951 hasConcept C206880738 @default.
- W753781951 hasConcept C25016198 @default.
- W753781951 hasConcept C2777904410 @default.
- W753781951 hasConcept C41008148 @default.
- W753781951 hasConcept C4777664 @default.
- W753781951 hasConceptScore W753781951C115903868 @default.
- W753781951 hasConceptScore W753781951C198008173 @default.
- W753781951 hasConceptScore W753781951C199360897 @default.
- W753781951 hasConceptScore W753781951C206880738 @default.
- W753781951 hasConceptScore W753781951C25016198 @default.
- W753781951 hasConceptScore W753781951C2777904410 @default.
- W753781951 hasConceptScore W753781951C41008148 @default.
- W753781951 hasConceptScore W753781951C4777664 @default.
- W753781951 hasLocation W7537819511 @default.
- W753781951 hasOpenAccess W753781951 @default.
- W753781951 hasPrimaryLocation W7537819511 @default.
- W753781951 hasRelatedWork W1547100131 @default.
- W753781951 hasRelatedWork W1754577041 @default.
- W753781951 hasRelatedWork W1924092303 @default.
- W753781951 hasRelatedWork W2021010324 @default.
- W753781951 hasRelatedWork W2037708677 @default.
- W753781951 hasRelatedWork W2038449234 @default.
- W753781951 hasRelatedWork W2053256421 @default.
- W753781951 hasRelatedWork W2080560773 @default.
- W753781951 hasRelatedWork W2080985977 @default.
- W753781951 hasRelatedWork W2094582813 @default.
- W753781951 hasRelatedWork W2099043647 @default.
- W753781951 hasRelatedWork W2128841027 @default.
- W753781951 hasRelatedWork W2151455674 @default.
- W753781951 hasRelatedWork W2528905087 @default.
- W753781951 hasRelatedWork W2536557582 @default.
- W753781951 hasRelatedWork W2729466594 @default.
- W753781951 hasRelatedWork W3107155983 @default.
- W753781951 hasRelatedWork W3146400061 @default.
- W753781951 hasRelatedWork W3160756453 @default.
- W753781951 hasRelatedWork W332226015 @default.
- W753781951 isParatext "false" @default.
- W753781951 isRetracted "false" @default.
- W753781951 magId "753781951" @default.
- W753781951 workType "article" @default.