An Expressive Trace Logic for Recursive Programs

Autor: Gurov, Dilian, Hähnle, Reiner

We present an expressive logic over trace formulas, based on binary state predicates, chop, and least fixed-points, for precise specification of programs with recursive procedures. Both, programs and trace formulas, are equipped with a direct-style,

Externí odkaz: http://arxiv.org/abs/2411.13125

Technical Design Report of the Spin Physics Detector at NICA

Autor: The SPD Collaboration, Abazov, V., Abramov, V., Afanasyev, L., Akhunzyanov, R., Akindinov, A., Alekseev, I., Aleshko, A., Alexakhin, V., Alexeev, G., Alimov, L., Allakhverdieva, A., Amoroso, A., Andreev, V., Andronov, E., Anikin, Yu., Anischenko, S., Anisenkov, A., Anosov, V., Antokhin, E., Antonov, A., Antsupov, S., Anufriev, A., Asadova, K., Ashraf, S., Astakhov, V., Aynikeev, A., Azarkin, M., Azorskiy, N., Bagulya, A., Baigarashev, D., Baldin, A., Baldina, E., Barbashina, N., Barnyakov, A., Barsov, S., Bartkevich, A., Baryshevsky, V., Basharina, K., Baskakov, A., Baskov, V., Batista, M., Baturitsky, M., Bautin, V., Bedareva, T., Belokurova, S., Belova, A., Belyaeva, E., Berdnikov, A., Berdnikov, Ya., Berezhnoy, A., Berngardt, A., Bespalov, Yu., Bleko, V., Bliznyuk, L., Bogoslovskii, D., Boiko, A., Boikov, A., Bolsunovskya, M., Boos, E., Borisov, V., Borsch, V., Budkouski, D., Bulanova, S., Bulekov, O., Bunichev, V., Burtebayev, N., Bychanok, D., Casanova, A., Cesar, G., Chemezov, D., Chepurnov, A., Chen, L., Chmill, V., Chukanov, A., Chuzo, A., Danilyuk, A., Datta, A., Dedovich, D., Demichev, M., Deng, G., Denisenko, I., Denisov, O., Derbysheva, T., Derkach, D., Didorenko, A., Dima, M. -O., Doinikov, A., Doronin, S., Dronik, V., Dubinin, F., Dunin, V., Durum, A., Egorov, A., El-Kholy, R., Enik, T., Ermak, D., Erofeev, D., Erokhin, A., Ezhov, D., Fedin, O., Fedotova, Ju., Feofilov, G., Filatov, Yu., Filimonov, S., Frolov, V., Galaktionov, K., Galoyan, A., Garkun, A., Gavrishchuk, O., Gerasimov, S., Gerassimov, S., Gilts, M., Gladilin, L., Golovanov, G., Golovnya, S., Golovtsov, V., Golubev, A., Golubykh, S., Goncharov, P., Gongadze, A., Greben, N., Gregoryev, A., Gribkov, D., Gridin, A., Gritsay, K., Gubachev, D., Guo, J., Gurchin, Yu., Gurinovich, A., Gurov, Yu., Guskov, A., Gutierrez, D., Guzman, F., Hakobyan, A., Han, D., Harkusha, S., Hu, Sh., Igolkin, S., Isupov, A., Ivanov, A., Ivanov, N., Ivantchenko, V., Jin, Sh., Kakurin, S., Kalinichenko, N., Kambar, Y., Kantsyrev, A., Kapitonov, I., Karjavine, V., Karpishkov, A., Katcin, A., Kekelidze, G., Kereibay, D., Khabarov, S., Kharyuzov, P., Khodzhibagiyan, H., Kidanov, E., Kidanova, E., Kim, V., Kiryanov, A., Kishchin, I., Kokoulina, E., Kolbasin, A., Komarov, V., Konak, A., Kopylov, Yu., Korjik, M., Korotkov, M., Korovkin, D., Korzenev, A., Kostenko, B., Kotova, A., Kotzinian, A., Kovalenko, V., Kovyazina, N., Kozhin, M., Kraeva, A., Kramarenko, V., Kremnev, A., Kruchonak, U., Kubankin, A., Kuchinskaia, O., Kulchitsky, Yu., Kuleshov, S., Kulikov, A., Kulikov, V., Kurbatov, V., Kurmanaliev, Zh., Kurochkin, Yu., Kutuzov, S., Kuznetsova, E., Kuyanov, I., Ladygin, E., Ladygin, V., Larionova, D., Lebedev, V., Levchuk, M., Li, P., Li, X., Li, Y., Livanov, A., Lednicki, R., Lobanov, A., Lobko, A., Loshmanova, K., Lukashevich, S., Luschevskaya, E., Lyashko, A. L'vov I., Lysan, V., Lyubovitskij, V., Madigozhin, D., Makarenko, V., Makarov, N., Makhmanazarov, R., Maleev, V., Maletic, D., Malinin, A., Maltsev, A., Maltsev, N., Malkhasyan, A., Malyshev, M., Mamoutova, O., Manakonov, A., Marova, A., Merkin, M., Meshkov, I., Metchinsky, V., Minko, O., Mitrankov, Yu., Mitrankova, M., Mkrtchyan, A., Mkrtchyan, H., Mohamed, R., Morozova, S., Morozikhin, A., Mosolova, E., Mossolov, V., Movchan, S., Mukhamejanov, Y., Mukhamejanova, A., Muzyaev, E., Myktybekov, D., Nagorniy, S., Nassurlla, M., Nechaeva, P., Negodaev, M., Nesterov, V., Nevmerzhitsky, M., Nigmatkulov, G., Nikiforov, D., Nikitin, V., Nikolaev, A., Oleynik, D., Onuchin, V., Orlov, I., Orlova, A., Ososkov, G., Panzieri, D., Parsamyan, B., Pavzderin, P., Pavlov, V., Pedraza, M., Perelygin, V., Peshkov, D., Petrosyan, A., Petrov, M., Petrov, V., Petrukhin, K., Piskun, A., Pivovarov, S., Polishchuk, I., Polozov, P., Polyanskii, V., Ponomarev, A., Popov, V., Popovich, S., Prokhorova, D., Prokofiev, N., Prokoshin, F., Puchkov, A., Pudin, I., Pyata, E., Ratnikov, F., Rasin, V., Red'kov, V., Reshetin, A., Reznikov, S., Rogacheva, N., Romakhov, S., Rouba, A., Rudnev, V., Rusinov, V., Rusov, D., Ryltsov, V., Saduyev, N., Safonov, A., Sakhiyev, S., Salamatin, K., Saleev, V., Samartsev, A., Samigullin, E., Samoylov, O., Saprunov, E., Savenkov, A., Seleznev, A., Semak, A., Senkov, D., Sergeev, A., Seryogin, L., Seryubin, S., Shabanov, A., Shahinyan, A., Shavrin, A., Shein, I., Sheremeteva, A., Shevchenko, V., Shilyaev, K., Shimansky, S., Shinbulatov, S., Shipilov, F., Shipilova, A., Shkarovskiy, S., Shoukovy, D., Shpakov, K., Shreyber, I., Shtejer, K., Shulyakovsky, R., Shunko, A., Sinelshchikova, S., Skachkova, A., Skalnenkov, A., Smirnov, A., Smirnov, S., Snesarev, A., Solin, A., Solin jr., A., Soldatov, E., Solovtsov, V., Song, J., Sosnov, D., Stavinskiy, A., Stekacheva, D., Streletskaya, E., Strikhanov, M., Suarez, O., Sukhikh, A., Sukhovarov, S., Sulin, V., Sultanov, R., Sun, P., Svirida, D., Syresin, E., Tadevosyan, V., Tarasov, O., Tarkovsky, E., Tchekhovsky, V., Tcherniaev, E., Terekhin, A., Terkulov, A., Tereshchenko, V., Teryaev, O., Teterin, P., Tishevsky, A., Tokmenin, V., Topilin, N., Tsiareshka, P., Tumasyan, A., Tyumenkov, G., Usenko, E., Uvarov, L., Uzhinsky, V., Uzikov, Yu., Valiev, F., Vasilieva, E., Vasyukov, A., Vechernin, V., Verkheev, A., Vertogradov, L., Vertogradova, Yu., Vidal, R., Voitishin, N., Volkov, I., Volkov, P., Vorobyov, A., Voskanyan, H., Wang, H., Wang, Y., Xu, T., Yanovich, A., Yeletskikh, I., Yerezhep, N., Yurchenko, S., Zakharov, A., Zamiatin, N., Zamora-Saá, J., Zarochentsev, A., Zelenov, A., Zemlyanichkina, E., Zhabitsky, M., Zhang, J., Zhang, Zh., Zhemchugov, A., Zherebchevsky, V., Zhevlakov, A., Zhigareva, N., Zhou, J., Zhuang, X., Zhukov, I., Zhuravlev, N., Zinin, A., Zmeev, S., Zolotykh, D., Zubarev, E., Zvyagina, A.

The Spin Physics Detector collaboration proposes to install a universal detector in the second interaction point of the NICA collider under construction (JINR, Dubna) to study the spin structure of the proton and deuteron and other spin-related pheno

Externí odkaz: http://arxiv.org/abs/2404.08317

Soundness and Completeness of a Model-Checking Proof System for CTL

Autor: Schuppe, Georg Friedrich, Gurov, Dilian

We propose a local model-checking proof system for a fragment of CTL. The rules of the proof system are motivated by the well-known fixed-point characterisation of CTL based on unfolding of the temporal operators. To guarantee termination of proofs,

Externí odkaz: http://arxiv.org/abs/2309.05389

Voices of the Past, Echoes of the Present: The Influence of the Amerindian Languages of Latin America on Modern Spanish

Autor: A. N. Gurov

Publikováno v: Ибероамериканские тетради, Vol 12, Iss 2, Pp 182-208 (2024)

The indigenous languages of Latin America, which have become part of the historical and cultural heritage, not only reflect the centuries-old traditions and worldview of the peoples of the region, but also have a direct influence on the grammatical a

Externí odkaz: https://doaj.org/article/f6ed5c0400a747609a98bcc0b7efd749

Bounded Invariant Checking for Stateflow

Autor: Filipovikj, Predrag, Ung, Gustav, Gurov, Dilian, Nyberg, Mattias

Publikováno v: EPTCS 371, 2022, pp. 38-52

Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solutions, these models require the application of rigorous verification te

Externí odkaz: http://arxiv.org/abs/2209.14028