Abstractions for Fault-Tolerant Distributed System Verification

Autor:	Jeffrey M. Maddalon, Paul S. Miner, Alfons Geser, Lee Pike
Rok vydání:	2004
Předmět:	Automated theorem proving Computer science Proof theory Voting media_common.quotation_subject Distributed computing Fault tolerance Abstraction Uninterpreted function Higher-order logic Software quality media_common
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540230175 TPHOLs
DOI:	10.1007/978-3-540-30142-4_19
Popis:	Four kinds of abstraction for the design and analysis of fault tolerant distributed systems are discussed. These abstractions concern system messages, faults, fault masking voting, and communication. The abstractions are formalized in higher order logic, and are intended to facilitate specifying and verifying such systems in higher order theorem provers.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b2c09a2f6b32330557a627c60f8a543a https://doi.org/10.1007/978-3-540-30142-4_19 Zobrazit plný text záznamu