Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay

Browse the full FORTE paper archive.