Matches in SemOpenAlex for { <https://semopenalex.org/work/W167974170> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W167974170 abstract "We present the edge-Street/ edge-Rabin environment for doing verification using language containment. This environment has a number of desirable properties compared with the L-process/L-automaton environment ([Kur87b]), which is a practical language-containment-based formal verification environment: * It contains the L-environment as a subset. * It can be exponentially more compact than the L-environment. * We present BDD-based algorithms for main verification functions in this environment, and argue that they are efficient. Furthermore, if the specifications come from the L-environment, our algorithms reduce to the algorithms of [HTKB92] and [HBK93] for the L-environment. * It is in some sense maximal, i.e. language containment check for the next natural extension to our environment is NP-complete (as opposed to polynomial.) We have implemented our algorithms in our verification tool, and will present a flexible user interface to this environment." @default.
- W167974170 created "2016-06-24" @default.
- W167974170 creator A5064568178 @default.
- W167974170 creator A5076369114 @default.
- W167974170 creator A5091821066 @default.
- W167974170 date "1994-03-01" @default.
- W167974170 modified "2023-09-26" @default.
- W167974170 title "Edge-Streett/ Edge-Rabin Automata Environment for" @default.
- W167974170 hasPublicationYear "1994" @default.
- W167974170 type Work @default.
- W167974170 sameAs 167974170 @default.
- W167974170 citedByCount "4" @default.
- W167974170 crossrefType "journal-article" @default.
- W167974170 hasAuthorship W167974170A5064568178 @default.
- W167974170 hasAuthorship W167974170A5076369114 @default.
- W167974170 hasAuthorship W167974170A5091821066 @default.
- W167974170 hasConcept C110251889 @default.
- W167974170 hasConcept C111498074 @default.
- W167974170 hasConcept C112505250 @default.
- W167974170 hasConcept C11413529 @default.
- W167974170 hasConcept C154945302 @default.
- W167974170 hasConcept C162307627 @default.
- W167974170 hasConcept C199360897 @default.
- W167974170 hasConcept C2777019822 @default.
- W167974170 hasConcept C2778029271 @default.
- W167974170 hasConcept C41008148 @default.
- W167974170 hasConcept C80444323 @default.
- W167974170 hasConceptScore W167974170C110251889 @default.
- W167974170 hasConceptScore W167974170C111498074 @default.
- W167974170 hasConceptScore W167974170C112505250 @default.
- W167974170 hasConceptScore W167974170C11413529 @default.
- W167974170 hasConceptScore W167974170C154945302 @default.
- W167974170 hasConceptScore W167974170C162307627 @default.
- W167974170 hasConceptScore W167974170C199360897 @default.
- W167974170 hasConceptScore W167974170C2777019822 @default.
- W167974170 hasConceptScore W167974170C2778029271 @default.
- W167974170 hasConceptScore W167974170C41008148 @default.
- W167974170 hasConceptScore W167974170C80444323 @default.
- W167974170 hasLocation W1679741701 @default.
- W167974170 hasOpenAccess W167974170 @default.
- W167974170 hasPrimaryLocation W1679741701 @default.
- W167974170 hasRelatedWork W1500570502 @default.
- W167974170 hasRelatedWork W1517566730 @default.
- W167974170 hasRelatedWork W1553725530 @default.
- W167974170 hasRelatedWork W1561331110 @default.
- W167974170 hasRelatedWork W1571363926 @default.
- W167974170 hasRelatedWork W1591658570 @default.
- W167974170 hasRelatedWork W1685060813 @default.
- W167974170 hasRelatedWork W1908450151 @default.
- W167974170 hasRelatedWork W1940010026 @default.
- W167974170 hasRelatedWork W1971607922 @default.
- W167974170 hasRelatedWork W1979078717 @default.
- W167974170 hasRelatedWork W2012935476 @default.
- W167974170 hasRelatedWork W2102610429 @default.
- W167974170 hasRelatedWork W2142413136 @default.
- W167974170 hasRelatedWork W2557666292 @default.
- W167974170 hasRelatedWork W2588946677 @default.
- W167974170 hasRelatedWork W2767050889 @default.
- W167974170 hasRelatedWork W2803173746 @default.
- W167974170 hasRelatedWork W2949433302 @default.
- W167974170 hasRelatedWork W2952948120 @default.
- W167974170 isParatext "false" @default.
- W167974170 isRetracted "false" @default.
- W167974170 magId "167974170" @default.
- W167974170 workType "article" @default.