Link¨oping Studies in Science and Technology Licentiate Thesis No. 1732
Automatic Verification of
Parameterized Systems by
Over-Approximation
by
Vladislavs Jahundoviˇ
cs
Department of Computer and Information Science Link¨oping University
SE-581 83 Link¨oping, Sweden
Link¨oping 2015