5 papers · 1 filter
Verification of MPI programs
Andrew M. Mironov
In this paper, we outline an approach to verifying parallel programs. A new mathematical model of parallel programs is introduced. The introduced model is illustrated by the verifi…
State diagrams of functional programs
Andrew M. Mironov
In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve prob…
A new method of verification of security protocols
Andrew M. Mironov
In the paper we introduce a process model of security protocols, where processes are graphs with edges labelled by actions, and present a new method of specification and verificati…
A graph model of message passing processes
Andrew M. Mironov
In the paper we consider a graph model of message passing processes and present a method verification of message passing processes. The method is illustrated by an example of a ver…
A New Method of Verification of Functional Programs
Andrew M. Mironov
In the paper the problem of verification of functional programs (FPs) over strings is considered, where specifications of properties of FPs are defined by other FPs, and a FP S1 me…