Automatic Verification of Parameterized Systems by Over-Approximation.
Saved in:
Superior document: | Linköping Studies in Science and Technology. Thesis Series ; v.1732 |
---|---|
: | |
Place / Publishing House: | Linköping : : Linkopings Universitet,, 2015. {copy}2015. |
Year of Publication: | 2015 |
Edition: | 1st ed. |
Language: | English |
Series: | Linköping Studies in Science and Technology. Thesis Series
|
Online Access: | |
Physical Description: | 1 online resource (171 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Parameterized Verification of Synchronized Concurrent Programs.
by: Ganjei, Zeinab.
Published: (2021.) -
Interval analysis : : and automatic result verification / / Gunter Mayer.
by: Mayer, Gunter,
Published: (2017.) -
Interval Analysis : : and Automatic Result Verification / / Günter Mayer.
by: Mayer, Günter,
Published: ([2017]) - New Frontiers in Parameterized Complexity and Algorithms
-
Biometric technologies and verification systems / John R. Vacca.
by: Vacca, John R.
Published: (c2007.)