Liveness of Randomised Parameterised Systems under Arbitrary Schedulers

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-41540-6_7 ◽

2016 ◽

pp. 112-133 ◽

Author(s):

Anthony W. Lin ◽

Philipp Rümmer

Download Full-text