Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM

Marta Kwiatkowska, Gethin Norman, R Segala

Research output: Contribution to conference (unpublished) › Paper

41 Citations (Scopus)

Original language	English
Pages	194-206
Number of pages	13
Publication status	Published - 1 Jan 2001
Event	13th International Conference on Computer Aided Verification (CAV 2001), Jul 18-22, 2001. PARIS, France - Duration: 1 Jan 2001 → …

Conference	13th International Conference on Computer Aided Verification (CAV 2001), Jul 18-22, 2001. PARIS, France
Period	1/01/01 → …

Cite this

@conference{29df2101a5194c8e8030c42ca418775f,

title = "Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM",

author = "Marta Kwiatkowska and Gethin Norman and R Segala",

year = "2001",

month = jan,

day = "1",

language = "English",

pages = "194--206",

note = "13th International Conference on Computer Aided Verification (CAV 2001), Jul 18-22, 2001. PARIS, France ; Conference date: 01-01-2001",

}