Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251738891> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4251738891 abstract "In this paper, we apply a<br />compositional proof technique to an automatic<br />verification of the correctness of<br />Fischer's mutual exclusion protocol. It<br />is demonstrated that the technique may<br />avoid the state-explosion problem. Our<br />compositional technique has recently been<br />implemented in a tool, CMC, which gives<br />experimental evidence that the size of<br />the verification effort required of the technique<br />only grows polynomially in the<br />size of the number of processes in the<br />protocol. In particular, CMC verifies the<br />protocol for 50 processes within 172.3<br />seconds and using only 32MB main memory.<br />In contrast all existing verification<br />tools for timed systems will suffer from<br />the state-explosion problem, and no tool<br />has to our knowledge succeeded in verifying<br />the protocol for more than 11 processes." @default.
- W4251738891 created "2022-05-12" @default.
- W4251738891 creator A5014710762 @default.
- W4251738891 creator A5029667848 @default.
- W4251738891 creator A5059875134 @default.
- W4251738891 creator A5073507370 @default.
- W4251738891 creator A5079870005 @default.
- W4251738891 date "1996-06-25" @default.
- W4251738891 modified "2023-10-03" @default.
- W4251738891 title "A Compositional Proof of a Real-Time Mutual Exclusion Protocol" @default.
- W4251738891 doi "https://doi.org/10.7146/brics.v3i55.20058" @default.
- W4251738891 hasPublicationYear "1996" @default.
- W4251738891 type Work @default.
- W4251738891 citedByCount "1" @default.
- W4251738891 crossrefType "journal-article" @default.
- W4251738891 hasAuthorship W4251738891A5014710762 @default.
- W4251738891 hasAuthorship W4251738891A5029667848 @default.
- W4251738891 hasAuthorship W4251738891A5059875134 @default.
- W4251738891 hasAuthorship W4251738891A5073507370 @default.
- W4251738891 hasAuthorship W4251738891A5079870005 @default.
- W4251738891 hasBestOaLocation W42517388911 @default.
- W4251738891 hasConcept C11413529 @default.
- W4251738891 hasConcept C142724271 @default.
- W4251738891 hasConcept C185592680 @default.
- W4251738891 hasConcept C204787440 @default.
- W4251738891 hasConcept C2780385302 @default.
- W4251738891 hasConcept C33923547 @default.
- W4251738891 hasConcept C41008148 @default.
- W4251738891 hasConcept C48103436 @default.
- W4251738891 hasConcept C55439883 @default.
- W4251738891 hasConcept C56348326 @default.
- W4251738891 hasConcept C71924100 @default.
- W4251738891 hasConcept C80444323 @default.
- W4251738891 hasConcept C94375191 @default.
- W4251738891 hasConceptScore W4251738891C11413529 @default.
- W4251738891 hasConceptScore W4251738891C142724271 @default.
- W4251738891 hasConceptScore W4251738891C185592680 @default.
- W4251738891 hasConceptScore W4251738891C204787440 @default.
- W4251738891 hasConceptScore W4251738891C2780385302 @default.
- W4251738891 hasConceptScore W4251738891C33923547 @default.
- W4251738891 hasConceptScore W4251738891C41008148 @default.
- W4251738891 hasConceptScore W4251738891C48103436 @default.
- W4251738891 hasConceptScore W4251738891C55439883 @default.
- W4251738891 hasConceptScore W4251738891C56348326 @default.
- W4251738891 hasConceptScore W4251738891C71924100 @default.
- W4251738891 hasConceptScore W4251738891C80444323 @default.
- W4251738891 hasConceptScore W4251738891C94375191 @default.
- W4251738891 hasIssue "55" @default.
- W4251738891 hasLocation W42517388911 @default.
- W4251738891 hasLocation W42517388912 @default.
- W4251738891 hasLocation W42517388913 @default.
- W4251738891 hasLocation W42517388914 @default.
- W4251738891 hasLocation W42517388915 @default.
- W4251738891 hasOpenAccess W4251738891 @default.
- W4251738891 hasPrimaryLocation W42517388911 @default.
- W4251738891 hasRelatedWork W117875910 @default.
- W4251738891 hasRelatedWork W1486308576 @default.
- W4251738891 hasRelatedWork W1516169988 @default.
- W4251738891 hasRelatedWork W1517743118 @default.
- W4251738891 hasRelatedWork W2024218563 @default.
- W4251738891 hasRelatedWork W2037546465 @default.
- W4251738891 hasRelatedWork W2072806201 @default.
- W4251738891 hasRelatedWork W2748952813 @default.
- W4251738891 hasRelatedWork W2752116518 @default.
- W4251738891 hasRelatedWork W2899084033 @default.
- W4251738891 hasVolume "3" @default.
- W4251738891 isParatext "false" @default.
- W4251738891 isRetracted "false" @default.
- W4251738891 workType "article" @default.