Automated vertification of a randomized distributed consensus protocol using Cadence SMV and PRISM

Marta Kwiatkowska, Gethin Norman, R Segala

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	194-206
Number of pages	13
Publication status	Published - 1 Jan 2001
Event	In Proceedings, CAV'2001 - Duration: 1 Jan 2001 → …

Conference	In Proceedings, CAV'2001
Period	1/01/01 → …

Cite this

@conference{23874ae1e4ca4b429997acf62bf637ca,

title = "Automated vertification 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 = "In Proceedings, CAV'2001 ; Conference date: 01-01-2001",

}