Results 91 to 100 of about 8,773 (135)

Automatic C Program Verification Based on Mixed Axiomatic Semantics

Моделирование и анализ информационных систем, 2013
The development of the C-light project resulted in the application of new formalisms and implementation techniques which facilitate the verification process.
I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev   +3 more
doaj  

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource

Моделирование и анализ информационных систем, 2013
In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net (RWF-net) is a workflow net supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions.
V. A. Bashkin, I. A. Lomazova
doaj  

On Verification of PLC-Programs Written in the LD-Language

Моделирование и анализ информационных систем, 2012
We discuss some questions connected with the construction of a technology of analysing correctness of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC-programs written in the Ladder Diagram ...
E. V. Kuzmin, V. A. Sokolov
doaj  

On the Designing of Model Checkers for Real-Time Distributed Systems

Моделирование и анализ информационных систем, 2012
To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchical ...
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov   +4 more
doaj  

Deductive Verification of Telecommunication Systems Written in C

Моделирование и анализ информационных систем, 2012
A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj  

[Candidate SNP-markers altering TBP binding affinity for promoters of the Y-linked genes CDY2A, SHOX, and ZFY are lowering many indexes of reproductive potential in men]. [PDF]

Vavilovskii Zhurnal Genet Selektsii, 2020
Ponomarenko MP, Sharypova EB, Drachkova IA, Savinkova LK, Chadaeva IV, Rasskazov DA, Ponomarenko PM, Osadchuk LV, Osadchuk AV.   +8 more
europepmc   +1 more source

[A case of thyroid hormone resistance syndrome due to previously undescribed mutation in the <i>THRA</i> gene]. [PDF]

Probl Endokrinol (Mosk)
Skorodok YL, Grabchak TS, Plotnikova EV, Suspitsin EN, Ioffe IY, Kozhevnikova AV, Zabinsky VD, Ivanov DO.   +7 more
europepmc   +1 more source

Identification and analysis of the connection network structure between the components of the immune system in children. [PDF]

Vavilovskii Zhurnal Genet Selektsii
Grebennikov DS, Toptygina AP, Bocharov GA.   +2 more
europepmc   +1 more source

[Metastatic pheochromocytoma in multiple endocrine neoplasia type 2A]. [PDF]

Probl Endokrinol (Mosk)
Rebrova DV, Rusakov VF, Krasnov LM, Fedorov EA, Chinchuk IK, Vorokhobina NV, Shikhmagomedov SS, Semenov AA, Chernikov RA, Sleptsov IV, Gavton GI, Imyanitov EN.   +11 more
europepmc   +1 more source

[Highly selective sodium-glucose co-transporter type 2 inhibitor empagliflozin as means of brain protection in conditions of chronic brain dyscirculation]. [PDF]

Probl Endokrinol (Mosk)
Simanenkova AV, Fuks OS, Timkina NV, Sufieva DA, Kirik OV, Korzhevskii DE, Vlasov TD, Karonova TL.   +7 more
europepmc   +1 more source