Synthesis of Fault-Tolerant Distributed Systems
From MaRDI portal
Publication:3648709
DOI10.1007/978-3-642-04761-9_24zbMath1262.68116OpenAlexW1599881922MaRDI QIDQ3648709
Bernd Finkbeiner, Rayna Dimitrova
Publication date: 1 December 2009
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: http://eprints.whiterose.ac.uk/156480/1/atva09.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items
Cites Work