#### Filter Results:

- Full text PDF available (14)

#### Publication Year

2005

2018

- This year (1)
- Last 5 years (12)
- Last 10 years (17)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Igor V. Konnov, Helmut Veith, Josef Widder
- Ershov Memorial Conference
- 2015

Distributed algorithms have numerous mission-critical applications in embedded avionic and automotive systems, cloud computing, computer networks, hardware design, and the internet of things.â€¦ (More)

- Igor V. Konnov, Vladimir A. Zakharov
- J. Symb. Comput.
- 2010

A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrary number ofâ€¦ (More)

The main goal of model checking is to verify whether a model of a given program satisfies some given specification. In this paper models are regarded as fair or ordinary Kripke structures whereasâ€¦ (More)

- Igor V. Konnov, Helmut Veith, Josef Widder
- Inf. Comput.
- 2017

Counter abstraction is a powerful tool for parameterized model checking, if the number of local states of the concurrent processes is relatively small. In recent work, we introduced parametricâ€¦ (More)

- Igor V. Konnov, Vladimir A. Zakharov
- Programming and Computer Software
- 2005

Verification of computer programs is an important and difficult problem in programming. There are two main approaches to this problemâ€”testing and formal verification. Testing assumes that aâ€¦ (More)

- Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
- CONCUR
- 2016

BIP is a component-based framework for system design built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIPâ€¦ (More)

- Igor V. Konnov
- 2014

We consider an extension of a noncooperative game where players have joint binding constraints. In this model, the constrained equilibrium can not be implemented within the same noncooperativeâ€¦ (More)

The main difficulty all model checking tools encounter with is the state explosion problem: the state space of a system model grows exponentially with the number of processes of the system. Variousâ€¦ (More)

On application of weaker simulations to parameterized model checking by network invariants technique

- Igor V. Konnov
- Automatic Control and Computer Sciences
- 2010

In this paper we consider parameterized model checking problem of asynchronous communicating processes in the framework of network invariants. The framework of network invariants relies on relationsâ€¦ (More)

- Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov
- Programming and Computer Software
- 2015

Checking the correctness of distributed systems is one of the most difficult and urgent problems in software engineering. A combined toolset for the verification of real-time distributed systemsâ€¦ (More)