All Formats & Editions
1 - 2 of 2 results found
Decidability of Parameterized Verification
Edition Description
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ����(n) parameterized by n ∈ ℕ, whether, for all n ∈...
Edition Details
Format:Paperback
Language:English
ISBN:3031008839
Format: Paperback
Condition:
$
54.68
50 Available
Decidability of Parameterized Verification
Edition Description
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems (n) parameterized by n ∈ ℕ, whether, for all n ∈ ℕ, the system (n) satisfies...
Edition Details
Format:Paperback
Language:English
ISBN:1627057439
Format: Paperback
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
