Parameterized verification of monotone information systems
نویسندگان
چکیده
منابع مشابه
Golok: Push-button Verification of Parameterized Systems
Parameterized systems verification is a long-standing problem, where the challenge is to verify that a property holds for all (infinite) instances of the parameterized system. Existing techniques aim to reduce this problem to checking the properties on smaller systems with a bound on the parameter referred to as the "cut-off " such that if the property holds for system instances of size cut-off...
متن کاملMechanical Verification of Parameterized Real-Time Systems
Real-time systems often have to be able to cope with an unbounded number of components. For example, a real-time operating system scheduler manages arbitrarily many threads or a bus system copes with arbitrarily many connected devices. Such systems can be characterized as parameterized systems. The number of (homogeneous) components is the parameter of these systems. This makes their formal ver...
متن کاملCompositional Analysis for Verification of Parameterized Systems
Many safety-critical systems that have been considered by the verification community are parameterized by the number of concurrent components in the system, and hence describe an infinite family of systems. Traditional model checking techniques can only be used to verify specific instances of this family. In this paper, we present a technique based on compositional model checking and program an...
متن کاملParameterized Verification of π-Calculus Systems
In this paper we present an automatic verification technique for parameterized systems where the subsystem behavior is modeled using the πcalculus. At its core, our technique treats each process instance in a system as a property transformer. Given a property φ that we want to verify of an N -process system, we use a partial model checker to infer the property φ′ (stated as a formula in a suffi...
متن کاملParameterized Systems : Generalizing and Simplifying Automatic Verification
Rezine, A. 2008. Parameterized Systems: Generalizing and Simplifying Automatic Verification. Acta Universitatis Upsaliensis. Uppsala Dissertations from the Faculty of Science and Technology 72. 196 pp. Uppsala. ISBN 978-91-554-7138-5. In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2018
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-018-0460-8