[DMBJ20]
Clemens Dubslaff, Andrey Morozov, Christel Baier and Klaus Janschek.
Iterative Variable Reordering: Taming Huge System Families.
In Proc. MARS'20, volume 316 of EPTCS, pages 121-133.
2020.
[Presents novel symbolic model checking techniques for families of models, building on PRISM.]
|
