Results 11 to 20 of about 18,393 (195)
LTL-Specification of Bounded Counter Machines [PDF]
Моделирование и анализ информационных систем, 2022 The article revises the results of the work devoted to the problem of representing the behaviour of a program system as a set of formulas of the linear temporal logic LTL, followed by the use of this representation to verify the satisfiability of the ...
Egor V. Kuzmin
doaj +4 more sources
LTL-specification for development and verification of control programs [PDF]
Моделирование и анализ информационных систем, 2023 This work continues the series of articles on development and verification of control programs based on the LTL-specification. The essence of the approach is to describe the behavior of programs using formulas of linear temporal logic LTL of a special ...
Maxim V. Neyzov, Egor V. Kuzmin
doaj +2 more sources
Distributed PROMPT-LTL Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We consider the synthesis of distributed implementations for specifications in Prompt Linear Temporal Logic (PROMPT-LTL), which extends LTL by temporal operators equipped with parameters that bound their scope.
Swen Jacobs +2 more
doaj +3 more sources
LTL-спецификация счётчиковых машин [PDF]
, 2021 The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of ...
Egor V. Kuzmin +1 more
core +1 more source
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems [PDF]
, 2009 By algorithmic metatheorems for a model checking problem P over infinite-state systems we mean generic results that can be used to infer decidability (possibly complexity) of P not only over a specific class of infinite systems, but over a large family ...
Leonid Libkin +3 more
core +1 more source
An exploratory analysis of leukocyte telomere length among pregnant and non-pregnant people
Brain, Behavior, & Immunity - Health, 2022 Background: Leukocyte telomere length (LTL) is a biomarker that is affected by older age, psychosocial stress, and medical comorbidities. Despite the relevance of these factors to obstetric practice, little is known about LTL in pregnancy.
Danielle M. Panelli +6 more
doaj +1 more source
Amorphous topological superconductivity in a Shiba glass
Nature Communications, 2018 Apart from the intensive efforts to explore topological properties in crystalline materials, the study of such properties in amorphous materials has been rare. Here, Pöyhönen et al.
Kim Pöyhönen +3 more
doaj +1 more source
Journal of Obesity & Metabolic Syndrome, 2023 Background : This study investigates differences in telomere length according to obesity, cardiovascular disease (CVD) risk factors, and fitness level in South Korean males. Methods : The subjects of this study were males in their 10s to 50s (n=249).
Yun-A Shin, Jae-Hyun Kim
doaj +1 more source
Построение IL-программ ПЛК по LTL-спецификации [PDF]
, 2014 An approach to the construction and verification of PLC IL-programs for discrete problems is proposed. For the specification of the program behavior, we use the linear-time temporal logic LTL.
E. V. Kuzmin +5 more
core +1 more source
5.5 AGE-DEPENDENT TELOMERE ATTRITION, SHORT TELOMERES AND ATHEROSCLEROSIS
Artery Research, 2016 Background: Short leukocyte telomere length (LTL) is associated with atherosclerosis. The prevailing view is this association exists since LTL is a biomarker of cumulative inflammation and oxidative stress during adult life.
Simon Toupance +9 more
doaj +1 more source