Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI OpenURL
Zbrzezny, Agnieszka M.; Szymoniak, Sabina; Kurkowski, Miroslaw Practical approach in verification of security systems using satisfiability modulo theories. (English) Zbl 07517094 Log. J. IGPL 30, No. 2, 289-300 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{A. M. Zbrzezny} et al., Log. J. IGPL 30, No. 2, 289--300 (2022; Zbl 07517094) Full Text: DOI OpenURL
Li, Wanbin; Xue, Liugen; Zhao, Peixin An empirical likelihood check with varying coefficient fixed effect model with panel data. (English) Zbl 07507760 J. Korean Stat. Soc. 51, No. 1, 198-222 (2022). MSC: 62G08 62G05 62G15 PDF BibTeX XML Cite \textit{W. Li} et al., J. Korean Stat. Soc. 51, No. 1, 198--222 (2022; Zbl 07507760) Full Text: DOI OpenURL
Lomuscio, Alessio; Pirovano, Edoardo A counter abstraction technique for verifying properties of probabilistic swarm systems. (English) Zbl 07505976 Artif. Intell. 305, Article ID 103666, 23 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{A. Lomuscio} and \textit{E. Pirovano}, Artif. Intell. 305, Article ID 103666, 23 p. (2022; Zbl 07505976) Full Text: DOI OpenURL
Xu, Ming; Fu, Jianling; Mei, Jingyi; Deng, Yuxin Model checking QCTL plus on quantum Markov chains. (English) Zbl 1483.68212 Theor. Comput. Sci. 913, 43-72 (2022). MSC: 68Q60 03B44 81P68 PDF BibTeX XML Cite \textit{M. Xu} et al., Theor. Comput. Sci. 913, 43--72 (2022; Zbl 1483.68212) Full Text: DOI OpenURL
Karayel, Emin; Gonzàlez, Edgar Strong eventual consistency of the collaborative editing framework WOOT. (English) Zbl 07502131 Distrib. Comput. 35, No. 2, 145-164 (2022). MSC: 68M14 68P05 68Q60 68U15 68V20 PDF BibTeX XML Cite \textit{E. Karayel} and \textit{E. Gonzàlez}, Distrib. Comput. 35, No. 2, 145--164 (2022; Zbl 07502131) Full Text: DOI OpenURL
Safari, Mohsen; Huisman, Marieke Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. (English) Zbl 1483.68091 Theor. Comput. Sci. 912, 81-98 (2022). MSC: 68N30 03B70 68Q60 68W10 PDF BibTeX XML Cite \textit{M. Safari} and \textit{M. Huisman}, Theor. Comput. Sci. 912, 81--98 (2022; Zbl 1483.68091) Full Text: DOI OpenURL
Tóth, Tamás; Majzik, István Configurable verification of timed automata with discrete variables. (English) Zbl 1483.68208 Acta Inf. 59, No. 1, 1-35 (2022). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{T. Tóth} and \textit{I. Majzik}, Acta Inf. 59, No. 1, 1--35 (2022; Zbl 1483.68208) Full Text: DOI OpenURL
Bonnet, Édouard; Kim, Eun Jung; Thomassé, Stéphan; Watrigant, Rémi Twin-width. I: Tractable FO model checking. (English) Zbl 07500709 J. ACM 69, No. 1, Article No. 3, 46 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{É. Bonnet} et al., J. ACM 69, No. 1, Article No. 3, 46 p. (2022; Zbl 07500709) Full Text: DOI OpenURL
Zhou, Jiayuan; Jiang, Feiyu; Zhu, Ke; Li, Wai Keung Time series models for realized covariance matrices based on the matrix-F distribution. (English) Zbl 07500443 Stat. Sin. 32, No. 2, 755-786 (2022). MSC: 62-XX PDF BibTeX XML Cite \textit{J. Zhou} et al., Stat. Sin. 32, No. 2, 755--786 (2022; Zbl 07500443) Full Text: DOI OpenURL
Platzer, André Correction to: “Differential dynamic logic for hybrid systems”. (English) Zbl 07498611 J. Autom. Reasoning 66, No. 1, 173 (2022). MSC: 68V15 03B70 03B35 68Q60 PDF BibTeX XML Cite \textit{A. Platzer}, J. Autom. Reasoning 66, No. 1, 173 (2022; Zbl 07498611) Full Text: DOI OpenURL
Dalvandi, Sadegh; Dongol, Brijesh; Doherty, Simon; Wehrheim, Heike Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL. (English) Zbl 07498610 J. Autom. Reasoning 66, No. 1, 141-171 (2022). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{S. Dalvandi} et al., J. Autom. Reasoning 66, No. 1, 141--171 (2022; Zbl 07498610) Full Text: DOI OpenURL
Olderog, Ernst-Rüdiger (ed.); Steffen, Bernhard (ed.); Yi, Wang (ed.) Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 07497120 Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022). MSC: 68-06 68Q45 68Q60 00B30 PDF BibTeX XML Cite \textit{E.-R. Olderog} (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer (2022; Zbl 07497120) Full Text: DOI OpenURL
Finkbeiner, Bernd (ed.); Wies, Thomas (ed.) Verification, model checking, and abstract interpretation. 23rd International conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. (English) Zbl 07496176 Lecture Notes in Computer Science 13182. Cham: Springer (ISBN 978-3-030-94582-4/pbk; 978-3-030-94583-1/ebook). x, 520 p. (2022). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{B. Finkbeiner} (ed.) and \textit{T. Wies} (ed.), Verification, model checking, and abstract interpretation. 23rd International conference, VMCAI 2022, Philadelphia, PA, USA, January 16--18, 2022. Proceedings. Cham: Springer (2022; Zbl 07496176) Full Text: DOI OpenURL
Carvalho, Catarina; Martin, Barnaby The lattice and semigroup structure of multipermutations. (English) Zbl 07492582 Int. J. Algebra Comput. 32, No. 2, 211-235 (2022). MSC: 06B05 68Q15 20M10 03C05 PDF BibTeX XML Cite \textit{C. Carvalho} and \textit{B. Martin}, Int. J. Algebra Comput. 32, No. 2, 211--235 (2022; Zbl 07492582) Full Text: DOI arXiv OpenURL
Freedman, Michael; Haah, Jeongwan; Hastings, Matthew B. The group structure of quantum cellular automata. (English) Zbl 07488536 Commun. Math. Phys. 389, No. 3, 1277-1302 (2022). MSC: 81P68 68Q80 81Q93 81S25 60G50 68Q60 81R12 PDF BibTeX XML Cite \textit{M. Freedman} et al., Commun. Math. Phys. 389, No. 3, 1277--1302 (2022; Zbl 07488536) Full Text: DOI arXiv OpenURL
Bozzelli, Laura; Murano, Aniello; Peron, Adriano Context-free timed formalisms: robust automata and linear temporal logics. (English) Zbl 07488446 Inf. Comput. 283, Article ID 104673, 30 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Inf. Comput. 283, Article ID 104673, 30 p. (2022; Zbl 07488446) Full Text: DOI OpenURL
Bavendiek, Kai; Schupp, Sibylle A process calculus for privacy-preserving protocols in location-based service systems. (English) Zbl 07485816 J. Log. Algebr. Methods Program. 125, Article ID 100735, 30 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{K. Bavendiek} and \textit{S. Schupp}, J. Log. Algebr. Methods Program. 125, Article ID 100735, 30 p. (2022; Zbl 07485816) Full Text: DOI OpenURL
Bickel, David R. Coherent checking and updating of Bayesian models without specifying the model space: a decision-theoretic semantics for possibility theory. (English) Zbl 07478939 Int. J. Approx. Reasoning 142, 81-93 (2022). MSC: 68T37 PDF BibTeX XML Cite \textit{D. R. Bickel}, Int. J. Approx. Reasoning 142, 81--93 (2022; Zbl 07478939) Full Text: DOI OpenURL
Tan, Falong; Zhu, Lixing Integrated conditional moment test and beyond: when the number of covariates is divergent. (English) Zbl 07474104 Biometrika 109, No. 1, 103-122 (2022). MSC: 62-XX PDF BibTeX XML Cite \textit{F. Tan} and \textit{L. Zhu}, Biometrika 109, No. 1, 103--122 (2022; Zbl 07474104) Full Text: DOI arXiv OpenURL
Mahmood, Yasir; Meier, Arne Parameterised complexity of model checking and satisfiability in propositional dependence logic. (English) Zbl 07473202 Ann. Math. Artif. Intell. 90, No. 2-3, 271-296 (2022). MSC: 68Q25 03B70 PDF BibTeX XML Cite \textit{Y. Mahmood} and \textit{A. Meier}, Ann. Math. Artif. Intell. 90, No. 2--3, 271--296 (2022; Zbl 07473202) Full Text: DOI arXiv OpenURL
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. (English) Zbl 07471713 Log. Methods Comput. Sci. 18, No. 1, Paper No. 24, 25 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 24, 25 p. (2022; Zbl 07471713) Full Text: arXiv Link OpenURL
Aman, Bogdan; Ciobanu, Gabriel Dynamics of reputation in mobile agents systems and weighted timed automata. (English) Zbl 1483.68220 Inf. Comput. 282, Article ID 104653, 22 p. (2022). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Aman} and \textit{G. Ciobanu}, Inf. Comput. 282, Article ID 104653, 22 p. (2022; Zbl 1483.68220) Full Text: DOI OpenURL
Selvaratnam, Daniel; Cantoni, Michael; Davoren, J. M.; Shames, Iman Sampling polynomial trajectories for LTL verification. (English) Zbl 1478.68174 Theor. Comput. Sci. 897, 135-163 (2022). MSC: 68Q60 03B44 68T40 68W30 PDF BibTeX XML Cite \textit{D. Selvaratnam} et al., Theor. Comput. Sci. 897, 135--163 (2022; Zbl 1478.68174) Full Text: DOI arXiv OpenURL
Zhang, Yan; Zhu, Zhaohui; Zhang, Jinjin Encoding safety in \(\mathrm{CLL}_R\). (English) Zbl 07437213 Theor. Comput. Sci. 897, 64-82 (2022). Reviewer: Martin Lange (Kassel) MSC: 68Q85 68Q60 03B44 PDF BibTeX XML Cite \textit{Y. Zhang} et al., Theor. Comput. Sci. 897, 64--82 (2022; Zbl 07437213) Full Text: DOI OpenURL
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 07432505 J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Gommerstadt} et al., J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022; Zbl 07432505) Full Text: DOI OpenURL
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Metalevel transformation of strategies. (English) Zbl 07432502 J. Log. Algebr. Methods Program. 124, Article ID 100728, 21 p. (2022). MSC: 68Q60 68Q42 PDF BibTeX XML Cite \textit{R. Rubio} et al., J. Log. Algebr. Methods Program. 124, Article ID 100728, 21 p. (2022; Zbl 07432502) Full Text: DOI OpenURL
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Simulating and model checking membrane systems using strategies in Maude. (English) Zbl 07432501 J. Log. Algebr. Methods Program. 124, Article ID 100727, 25 p. (2022). MSC: 68Q07 68Q42 68Q60 PDF BibTeX XML Cite \textit{R. Rubio} et al., J. Log. Algebr. Methods Program. 124, Article ID 100727, 25 p. (2022; Zbl 07432501) Full Text: DOI OpenURL
Li, Muyi; Zhang, Yanfen Bootstrapping multivariate portmanteau tests for vector autoregressive models with weak assumptions on errors. (English) Zbl 07422848 Comput. Stat. Data Anal. 165, Article ID 107321, 19 p. (2022). MSC: 62-XX PDF BibTeX XML Cite \textit{M. Li} and \textit{Y. Zhang}, Comput. Stat. Data Anal. 165, Article ID 107321, 19 p. (2022; Zbl 07422848) Full Text: DOI OpenURL
Russinoff, David M. Formal verification of floating-point hardware design. A mathematical approach. 2nd edition. (English) Zbl 07414775 Cham: Springer (ISBN 978-3-030-87180-2/hbk; 978-3-030-87183-3/pbk; 978-3-030-87181-9/ebook). xxviii, 436 p. (2022). MSC: 68-02 68M07 68Q60 PDF BibTeX XML Cite \textit{D. M. Russinoff}, Formal verification of floating-point hardware design. A mathematical approach. 2nd edition. Cham: Springer (2022; Zbl 07414775) Full Text: DOI OpenURL
Oliveira, Rodrigo A.; Paula, Gilberto A. Additive models with autoregressive symmetric errors based on penalized regression splines. (English) Zbl 07524035 Comput. Stat. 36, No. 4, 2435-2466 (2021). MSC: 62G08 62J05 62J20 65C60 PDF BibTeX XML Cite \textit{R. A. Oliveira} and \textit{G. A. Paula}, Comput. Stat. 36, No. 4, 2435--2466 (2021; Zbl 07524035) Full Text: DOI OpenURL
Al-Labadi, Luai; Patel, Vishakh; Vakiloroayaei, Kasra; Wan, Clement Kullback-Leibler divergence for Bayesian nonparametric model checking. (English) Zbl 07514894 J. Korean Stat. Soc. 50, No. 1, 272-289 (2021). MSC: 62G10 62B10 62F15 PDF BibTeX XML Cite \textit{L. Al-Labadi} et al., J. Korean Stat. Soc. 50, No. 1, 272--289 (2021; Zbl 07514894) Full Text: DOI OpenURL
Phyo, Yati; Do, Canh Minh; Ogata, Kazuhiro A divide & conquer approach to conditional stable model checking. (English) Zbl 07500640 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 105-111 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{Y. Phyo} et al., Lect. Notes Comput. Sci. 12819, 105--111 (2021; Zbl 07500640) Full Text: DOI OpenURL
Khan, Muhammad Hannan; Hassan, Osman; Khan, Shahid Accelerating SpMV multiplication in probabilistic model checkers using GPUs. (English) Zbl 07500639 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 86-104 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. H. Khan} et al., Lect. Notes Comput. Sci. 12819, 86--104 (2021; Zbl 07500639) Full Text: DOI OpenURL
Mitani, Yo; Kobayashi, Naoki; Tsukada, Takeshi A probabilistic higher-order fixpoint logic. (English) Zbl 07471675 Log. Methods Comput. Sci. 17, No. 4, Paper No. 15, 36 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{Y. Mitani} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 15, 36 p. (2021; Zbl 07471675) Full Text: arXiv Link OpenURL
Sproston, Jeremy Probabilistic timed automata with one clock and initialised clock-dependent probabilities. (English) Zbl 07471666 Log. Methods Comput. Sci. 17, No. 4, Paper No. 6, 35 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Sproston}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 6, 35 p. (2021; Zbl 07471666) Full Text: arXiv Link OpenURL
Thierry-Mieg, Yann Symbolic and structural model-checking. (English) Zbl 07467849 Fundam. Inform. 183, No. 3-4, 319-342 (2021). MSC: 68-XX 68-XX PDF BibTeX XML Cite \textit{Y. Thierry-Mieg}, Fundam. Inform. 183, No. 3--4, 319--342 (2021; Zbl 07467849) Full Text: DOI arXiv OpenURL
André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David Parametric schedulability analysis of a launcher flight control system under reactivity constraints. (English) Zbl 07467824 Fundam. Inform. 182, No. 1, 31-67 (2021). MSC: 68-XX 68-XX PDF BibTeX XML Cite \textit{É. André} et al., Fundam. Inform. 182, No. 1, 31--67 (2021; Zbl 07467824) Full Text: DOI arXiv OpenURL
Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo Verification and strategy synthesis for coalition announcement logic. (English) Zbl 07465844 J. Logic Lang. Inf. 30, No. 4, 671-700 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{N. Alechina} et al., J. Logic Lang. Inf. 30, No. 4, 671--700 (2021; Zbl 07465844) Full Text: DOI OpenURL
Hou, Zhe (ed.); Ganesh, Vijay (ed.) Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. (English) Zbl 07458676 Lecture Notes in Computer Science 12971. Cham: Springer (ISBN 978-3-030-88884-8/pbk; 978-3-030-88885-5/ebook). xv, 382 p. (2021). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{Z. Hou} (ed.) and \textit{V. Ganesh} (ed.), Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18--22, 2021. Proceedings. Cham: Springer (2021; Zbl 07458676) Full Text: DOI OpenURL
Li, Chengbo; Zhou, Yong The estimation for the general additive-multiplicative hazard model using the length-biased survival data. (English) Zbl 1477.62275 Stat. Pap. 62, No. 1, 53-74 (2021). MSC: 62N02 PDF BibTeX XML Cite \textit{C. Li} and \textit{Y. Zhou}, Stat. Pap. 62, No. 1, 53--74 (2021; Zbl 1477.62275) Full Text: DOI OpenURL
Cordy, Maxime; Lazreg, Sami; Papadakis, Mike; Legay, Axel Statistical model checking for variability-intensive systems: applications to bug detection and minimization. (English) Zbl 07455782 Formal Asp. Comput. 33, No. 6, 1147-1172 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Cordy} et al., Formal Asp. Comput. 33, No. 6, 1147--1172 (2021; Zbl 07455782) Full Text: DOI OpenURL
Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola TOrPEDO : witnessing model correctness with topological proofs. (English) Zbl 07455779 Formal Asp. Comput. 33, No. 6, 1039-1066 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Menghi} et al., Formal Asp. Comput. 33, No. 6, 1039--1066 (2021; Zbl 07455779) Full Text: DOI OpenURL
Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca Analysing an autonomous tramway positioning system with the Uppaal statistical model checker. (English) Zbl 07455775 Formal Asp. Comput. 33, No. 6, 957-987 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{D. Basile} et al., Formal Asp. Comput. 33, No. 6, 957--987 (2021; Zbl 07455775) Full Text: DOI OpenURL
Peleska, Jan; Krafczyk, Niklas; Haxthausen, Anne E.; Pinger, Ralf Efficient data validation for geographical interlocking systems. (English) Zbl 07455774 Formal Asp. Comput. 33, No. 6, 925-955 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Peleska} et al., Formal Asp. Comput. 33, No. 6, 925--955 (2021; Zbl 07455774) Full Text: DOI OpenURL
Khoroshilov, A. V. Verification of compliance for multilevel models in individual trace semantics. (English) Zbl 07452473 Program. Comput. Softw. 47, No. 7, 515-521 (2021). MSC: 68Q60 68Q55 PDF BibTeX XML Cite \textit{A. V. Khoroshilov}, Program. Comput. Softw. 47, No. 7, 515--521 (2021; Zbl 07452473) Full Text: DOI OpenURL
Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael Equilibria for games with combined qualitative and quantitative objectives. (English) Zbl 1483.68193 Acta Inf. 58, No. 6, 585-610 (2021). MSC: 68Q60 03B44 68T42 91A80 PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Acta Inf. 58, No. 6, 585--610 (2021; Zbl 1483.68193) Full Text: DOI arXiv OpenURL
Dannert, Katrin M.; Grädel, Erich Semiring provenance for guarded logics. (English) Zbl 07442308 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 53-79 (2021). MSC: 68-XX 03-XX PDF BibTeX XML Cite \textit{K. M. Dannert} and \textit{E. Grädel}, Outst. Contrib. Log. 19, 53--79 (2021; Zbl 07442308) Full Text: DOI OpenURL
Griggio, Alberto; Roveri, Marco; Tonetta, Stefano Certifying proofs for SAT-based model checking. (English) Zbl 07440321 Form. Methods Syst. Des. 57, No. 2, 178-210 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{A. Griggio} et al., Form. Methods Syst. Des. 57, No. 2, 178--210 (2021; Zbl 07440321) Full Text: DOI OpenURL
Nott, David J.; Seah, Max; Al-Labadi, Luai; Evans, Michael; Ng, Hui Khoon; Englert, Berthold-Georg Using prior expansions for prior-data conflict checking. (English) Zbl 1480.62150 Bayesian Anal. 16, No. 1, 203-231 (2021). MSC: 62J07 62A01 PDF BibTeX XML Cite \textit{D. J. Nott} et al., Bayesian Anal. 16, No. 1, 203--231 (2021; Zbl 1480.62150) Full Text: DOI arXiv Euclid OpenURL
Yang, Jingkai; Deng, Weilin; Qiu, Daowen; Jiang, Cheng Opacity of networked discrete event systems. (English) Zbl 1475.68044 Inf. Sci. 543, 328-344 (2021). MSC: 68M25 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Yang} et al., Inf. Sci. 543, 328--344 (2021; Zbl 1475.68044) Full Text: DOI OpenURL
Francalanza, Adrian A theory of monitors. (English) Zbl 1475.68206 Inf. Comput. 281, Article ID 104704, 29 p. (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. Francalanza}, Inf. Comput. 281, Article ID 104704, 29 p. (2021; Zbl 1475.68206) Full Text: DOI OpenURL
Englert, Berthold-Georg; Evans, Michael; Jang, Gun Ho; Ng, Hui Khoon; Nott, David; Seah, Yi-Lin Checking for model failure and for prior-data conflict with the constrained multinomial model. (English) Zbl 1479.62017 Metrika 84, No. 8, 1141-1168 (2021). MSC: 62F15 PDF BibTeX XML Cite \textit{B.-G. Englert} et al., Metrika 84, No. 8, 1141--1168 (2021; Zbl 1479.62017) Full Text: DOI OpenURL
Cabras, Stefano; Castellanos, María Eugenia; Ratmann, Oliver Goodness of fit for models with intractable likelihood. (English) Zbl 1474.62079 Test 30, No. 3, 713-736 (2021). MSC: 62F15 PDF BibTeX XML Cite \textit{S. Cabras} et al., Test 30, No. 3, 713--736 (2021; Zbl 1474.62079) Full Text: DOI OpenURL
Grädel, Erich; Pützstück, Phil Logics of dependence and independence: the local variants. (English) Zbl 07423149 J. Log. Comput. 31, No. 7, 1690-1715 (2021). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{E. Grädel} and \textit{P. Pützstück}, J. Log. Comput. 31, No. 7, 1690--1715 (2021; Zbl 07423149) Full Text: DOI arXiv OpenURL
Combi, Carlo (ed.); Eder, Johann (ed.); Reynolds, Mark (ed.) 28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27–29, 2021. (English) Zbl 1473.68013 LIPIcs – Leibniz International Proceedings in Informatics 206. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-206-8). xiv, 17 articles, not consecutively paged, electronic only, open access (2021). MSC: 68-06 03B44 68Q60 68T27 00B25 PDF BibTeX XML Cite \textit{C. Combi} (ed.) et al., 28th international symposium on temporal representation and reasoning. TIME 2021, Klagenfurt, Austria (virtual conference), September 27--29, 2021. Wadern: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (2021; Zbl 1473.68013) Full Text: DOI Link OpenURL
Hou, Zhe Fundamentals of logic and computation. With practical automated reasoning and verification. (English) Zbl 07420661 Texts in Computer Science. Cham: Springer (ISBN 978-3-030-87881-8/hbk; 978-3-030-87882-5/ebook). x, 221 p. (2021). Reviewer: Marco Benini (Buccinasco) MSC: 68-01 03-01 68Q60 68V20 PDF BibTeX XML Cite \textit{Z. Hou}, Fundamentals of logic and computation. With practical automated reasoning and verification. Cham: Springer (2021; Zbl 07420661) Full Text: DOI OpenURL
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto Strategies, model checking and branching-time properties in Maude. (English) Zbl 07419543 J. Log. Algebr. Methods Program. 123, Article ID 100700, 28 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{R. Rubio} et al., J. Log. Algebr. Methods Program. 123, Article ID 100700, 28 p. (2021; Zbl 07419543) Full Text: DOI OpenURL
Belardinelli, Francesco; Demri, Stéphane Strategic reasoning with a bounded number of resources: the quest for tractability. (English) Zbl 07418700 Artif. Intell. 300, Article ID 103557, 35 p. (2021). MSC: 68Txx PDF BibTeX XML Cite \textit{F. Belardinelli} and \textit{S. Demri}, Artif. Intell. 300, Article ID 103557, 35 p. (2021; Zbl 07418700) Full Text: DOI OpenURL
Bentriou, Mahmoud; Ballarini, Paolo; Cournède, Paul-Henry Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. (English) Zbl 07417747 Theor. Comput. Sci. 893, 191-219 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Bentriou} et al., Theor. Comput. Sci. 893, 191--219 (2021; Zbl 07417747) Full Text: DOI OpenURL
Pilch, Carina Statistical model checking and time-bounded reachability analysis for hybrid Petri nets with multiple stochastic variables. (English) Zbl 1472.68003 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). xviii, 267 p. (2021). MSC: 68-02 68Q60 68Q85 PDF BibTeX XML Cite \textit{C. Pilch}, Statistical model checking and time-bounded reachability analysis for hybrid Petri nets with multiple stochastic variables. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2021; Zbl 1472.68003) OpenURL
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf Genmul: generating architecturally complex multipliers to challenge formal verification tools. (English) Zbl 07410746 Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 177-191 (2021). MSC: 68Q60 68Q06 94C11 PDF BibTeX XML Cite \textit{A. Mahzoon} et al., in: Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24--25, 2020. Cham: Springer. 177--191 (2021; Zbl 07410746) Full Text: DOI OpenURL
Zhang, Han; Zhang, Chi; Azevedo de Amorim, Arthur; Agarwal, Yuvraj; Fredrikson, Matt; Jia, Limin Netter: probabilistic, stateful network models. (English) Zbl 1472.68012 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021). MSC: 68M10 60J20 68N15 68Q45 68Q60 PDF BibTeX XML Cite \textit{H. Zhang} et al., Lect. Notes Comput. Sci. 12597, 486--508 (2021; Zbl 1472.68012) Full Text: DOI OpenURL
Aluf-Medina, Michelle; Korten, Till; Raviv, Avraham; Nicolau, Dan V. jun.; Kugler, Hillel Formal semantics and verification of network-based biocomputation circuits. (English) Zbl 1472.68057 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 464-485 (2021). MSC: 68Q07 68Q06 68Q55 68Q60 PDF BibTeX XML Cite \textit{M. Aluf-Medina} et al., Lect. Notes Comput. Sci. 12597, 464--485 (2021; Zbl 1472.68057) Full Text: DOI OpenURL
Kwon, YoungMin; Kim, Eunhee A design of GPU-based quantitative model checking. (English) Zbl 1472.68091 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 441-463 (2021). MSC: 68Q60 03B44 68N30 PDF BibTeX XML Cite \textit{Y. Kwon} and \textit{E. Kim}, Lect. Notes Comput. Sci. 12597, 441--463 (2021; Zbl 1472.68091) Full Text: DOI OpenURL
Song, Yahui; Chin, Wei-Ngan A synchronous effects logic for temporal verification of pure Esterel. (English) Zbl 1472.68020 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 417-440 (2021). MSC: 68N15 03B70 68Q60 PDF BibTeX XML Cite \textit{Y. Song} and \textit{W.-N. Chin}, Lect. Notes Comput. Sci. 12597, 417--440 (2021; Zbl 1472.68020) Full Text: DOI OpenURL
Zhang, Hongce; Gupta, Aarti; Malik, Sharad Syntax-guided synthesis for lemma generation in hardware model checking. (English) Zbl 1472.68096 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 325-349 (2021). MSC: 68Q60 68M07 PDF BibTeX XML Cite \textit{H. Zhang} et al., Lect. Notes Comput. Sci. 12597, 325--349 (2021; Zbl 1472.68096) Full Text: DOI OpenURL
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti Unbounded procedure summaries from bounded environments. (English) Zbl 1472.68093 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 291-324 (2021). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{L. Pick} et al., Lect. Notes Comput. Sci. 12597, 291--324 (2021; Zbl 1472.68093) Full Text: DOI OpenURL
Védrine, Franck; Jacquemin, Maxime; Kosmatov, Nikolai; Signoles, Julien Runtime abstract interpretation for numerical accuracy and robustness. (English) Zbl 1472.68095 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 243-266 (2021). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{F. Védrine} et al., Lect. Notes Comput. Sci. 12597, 243--266 (2021; Zbl 1472.68095) Full Text: DOI OpenURL
Bertrand, Nathalie; Lazić, Marijana; Widder, Josef A reduction theorem for randomized distributed algorithms under weak adversaries. (English) Zbl 1472.68083 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 219-239 (2021). MSC: 68Q60 68W15 68W20 PDF BibTeX XML Cite \textit{N. Bertrand} et al., Lect. Notes Comput. Sci. 12597, 219--239 (2021; Zbl 1472.68083) Full Text: DOI OpenURL
Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian Eliminating message counters in synchronous threshold automata. (English) Zbl 1472.68094 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 196-218 (2021). MSC: 68Q60 68Q45 68W15 PDF BibTeX XML Cite \textit{I. Stoilkovska} et al., Lect. Notes Comput. Sci. 12597, 196--218 (2021; Zbl 1472.68094) Full Text: DOI OpenURL
Dietsch, Daniel; Heizmann, Matthias; Klumpp, Dominik; Naouar, Mehdi; Podelski, Andreas; Schätzle, Claus Verification of concurrent programs using Petri net unfoldings. (English) Zbl 1472.68087 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 174-195 (2021). MSC: 68Q60 68N19 68Q85 PDF BibTeX XML Cite \textit{D. Dietsch} et al., Lect. Notes Comput. Sci. 12597, 174--195 (2021; Zbl 1472.68087) Full Text: DOI OpenURL
Peterson, Christina; Cook, Victor; Dechev, Damian Concurrent correctness in vector space. (English) Zbl 1472.68092 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021). MSC: 68Q60 68N19 68Q85 PDF BibTeX XML Cite \textit{C. Peterson} et al., Lect. Notes Comput. Sci. 12597, 151--173 (2021; Zbl 1472.68092) Full Text: DOI OpenURL
Namjoshi, Kedar S.; Xue, Anton A self-certifying compilation framework for WebAssembly. (English) Zbl 1472.68032 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 127-148 (2021). MSC: 68N20 68Q60 PDF BibTeX XML Cite \textit{K. S. Namjoshi} and \textit{A. Xue}, Lect. Notes Comput. Sci. 12597, 127--148 (2021; Zbl 1472.68032) Full Text: DOI OpenURL
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico Proving the existence of fair paths in infinite-state systems. (English) Zbl 1472.68085 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 104-126 (2021). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 12597, 104--126 (2021; Zbl 1472.68085) Full Text: DOI OpenURL
Koskinen, Eric; Bansal, Kshitij Decomposing data structure commutativity proofs with \(mn\)-differencing. (English) Zbl 1472.68090 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 81-103 (2021). MSC: 68Q60 68P05 PDF BibTeX XML Cite \textit{E. Koskinen} and \textit{K. Bansal}, Lect. Notes Comput. Sci. 12597, 81--103 (2021; Zbl 1472.68090) Full Text: DOI OpenURL
Goudsmid, Ohad; Grumberg, Orna; Sheinvald, Sarai Compositional model checking for multi-properties. (English) Zbl 1472.68089 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 55-80 (2021). MSC: 68Q60 PDF BibTeX XML Cite \textit{O. Goudsmid} et al., Lect. Notes Comput. Sci. 12597, 55--80 (2021; Zbl 1472.68089) Full Text: DOI OpenURL
Steffen, Bernhard; Murtovi, Alnis Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021). MSC: 68N30 03B44 68Q55 68Q60 PDF BibTeX XML Cite \textit{B. Steffen} and \textit{A. Murtovi}, Lect. Notes Comput. Sci. 12597, 29--51 (2021; Zbl 1472.68042) Full Text: DOI OpenURL
Finkbeiner, Bernd Model checking algorithms for hyperproperties (invited paper). (English) Zbl 1472.68088 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 3-16 (2021). MSC: 68Q60 03B44 03D05 PDF BibTeX XML Cite \textit{B. Finkbeiner}, Lect. Notes Comput. Sci. 12597, 3--16 (2021; Zbl 1472.68088) Full Text: DOI arXiv OpenURL
Abbasi, Rosa; Schiffl, Jonas; Darulova, Eva; Ulbrich, Mattias; Ahrendt, Wolfgang Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021). MSC: 68Q60 65G50 68N15 PDF BibTeX XML Cite \textit{R. Abbasi} et al., Lect. Notes Comput. Sci. 12652, 242--261 (2021; Zbl 1474.68186) Full Text: DOI arXiv OpenURL
Tan, Yong Kiam; Heule, Marijn J. H.; Myreen, Magnus O. cake_lpr: verified propagation redundancy checking in CakeML. (English) Zbl 1474.68194 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 223-241 (2021). MSC: 68Q60 68V15 PDF BibTeX XML Cite \textit{Y. K. Tan} et al., Lect. Notes Comput. Sci. 12652, 223--241 (2021; Zbl 1474.68194) Full Text: DOI OpenURL
Amir, Guy; Wu, Haoze; Barrett, Clark; Katz, Guy An SMT-based approach for verifying binarized neural networks. (English) Zbl 1474.68188 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 203-222 (2021). MSC: 68Q60 68T07 68T20 PDF BibTeX XML Cite \textit{G. Amir} et al., Lect. Notes Comput. Sci. 12652, 203--222 (2021; Zbl 1474.68188) Full Text: DOI arXiv OpenURL
Tan, Yong Kiam; Platzer, André Deductive stability proofs for ordinary differential equations. (English) Zbl 1474.68195 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 181-199 (2021). MSC: 68Q60 03B70 34D99 68V20 93C15 PDF BibTeX XML Cite \textit{Y. K. Tan} and \textit{A. Platzer}, Lect. Notes Comput. Sci. 12652, 181--199 (2021; Zbl 1474.68195) Full Text: DOI arXiv OpenURL
Lohar, Debasmita; Jeangoudoux, Clothilde; Sobel, Joshua; Darulova, Eva; Christakis, Maria A two-phase approach for conditional floating-point verification. (English) Zbl 1474.68191 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 43-63 (2021). MSC: 68Q60 65G50 68N30 PDF BibTeX XML Cite \textit{D. Lohar} et al., Lect. Notes Comput. Sci. 12652, 43--63 (2021; Zbl 1474.68191) Full Text: DOI OpenURL
Blondin, Michael; Haase, Christoph; Offtermatt, Philip Directed reachability for infinite-state systems. (English) Zbl 1474.68202 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 3-23 (2021). MSC: 68Q85 68Q60 68R10 PDF BibTeX XML Cite \textit{M. Blondin} et al., Lect. Notes Comput. Sci. 12652, 3--23 (2021; Zbl 1474.68202) Full Text: DOI arXiv OpenURL
Haslbeck, Maximilian P. L.; Lammich, Peter For a few dollars more. Verified fine-grained algorithm analysis down to LLVM. (English) Zbl 1473.68222 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 292-319 (2021). MSC: 68W40 68P10 68Q60 PDF BibTeX XML Cite \textit{M. P. L. Haslbeck} and \textit{P. Lammich}, Lect. Notes Comput. Sci. 12648, 292--319 (2021; Zbl 1473.68222) Full Text: DOI OpenURL
Chareton, Christophe; Bardin, Sébastien; Bobot, François; Perrelle, Valentin; Valiron, Benoît An automated deductive verification framework for circuit-building quantum programs. (English) Zbl 1473.68106 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 148-177 (2021). MSC: 68Q60 68N30 68Q12 81P68 PDF BibTeX XML Cite \textit{C. Chareton} et al., Lect. Notes Comput. Sci. 12648, 148--177 (2021; Zbl 1473.68106) Full Text: DOI arXiv OpenURL
Beringer, Lennart Verified software units. (English) Zbl 1473.68035 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 118-147 (2021). MSC: 68N15 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{L. Beringer}, Lect. Notes Comput. Sci. 12648, 118--147 (2021; Zbl 1473.68035) Full Text: DOI OpenURL
Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin Checking robustness between weak transactional consistency models. (English) Zbl 1473.68063 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 87-117 (2021). MSC: 68P15 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{S. M. Beillahi} et al., Lect. Notes Comput. Sci. 12648, 87--117 (2021; Zbl 1473.68063) Full Text: DOI arXiv OpenURL
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Godbole, Adwait; Krishna, S.; Vafeiadis, Viktor The decidability of verification under PS 2.0. (English) Zbl 1474.68187 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 1-29 (2021). MSC: 68Q60 68N30 68Q55 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Lect. Notes Comput. Sci. 12648, 1--29 (2021; Zbl 1474.68187) Full Text: DOI OpenURL
Al-Labadi, Luai; Patel, Vishakh; Vakiloroayaei, Kasra; Wan, Clement A Bayesian nonparametric estimation to entropy. (English) Zbl 1475.62127 Braz. J. Probab. Stat. 35, No. 2, 421-434 (2021). MSC: 62G05 62G10 62B10 94A17 PDF BibTeX XML Cite \textit{L. Al-Labadi} et al., Braz. J. Probab. Stat. 35, No. 2, 421--434 (2021; Zbl 1475.62127) Full Text: DOI arXiv OpenURL
Hoelzel, Matthias; Wilke, Richard On the union closed fragment of existential second-order logic and logics with team semantics. (English) Zbl 07407786 Log. Methods Comput. Sci. 17, No. 3, Paper No. 14, 32 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Hoelzel} and \textit{R. Wilke}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 14, 32 p. (2021; Zbl 07407786) Full Text: arXiv Link OpenURL
An, Dongdong; Liu, Jing; Chen, Xiaohong; Sun, Haiying Formal modeling and dynamic verification for human cyber physical systems under uncertain environment. (Chinese. English summary) Zbl 07404223 J. Softw. 32, No. 7, 1999-2015 (2021). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. An} et al., J. Softw. 32, No. 7, 1999--2015 (2021; Zbl 07404223) Full Text: DOI OpenURL
Wang, Xiaobing; Yang, Xiaoyu; Shu, Xinfeng; Zhao, Liang Formal verification of smart contract based on MSVL. (Chinese. English summary) Zbl 07404218 J. Softw. 32, No. 6, 1849-1866 (2021). MSC: 68M12 68Q60 PDF BibTeX XML Cite \textit{X. Wang} et al., J. Softw. 32, No. 6, 1849--1866 (2021; Zbl 07404218) Full Text: DOI OpenURL
Lu, Zhihao; Wang, Rui; Kong, Hui; Guan, Yong; Shi, Zhiping Formal verification of Ptolemy discrete event model. (Chinese. English summary) Zbl 07404217 J. Softw. 32, No. 6, 1830-1848 (2021). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{Z. Lu} et al., J. Softw. 32, No. 6, 1830--1848 (2021; Zbl 07404217) Full Text: DOI OpenURL
Gu, Xiaosong; Wei, Hengfeng; Qiao, Lei; Huang, Yu Raft with out-of-order executions. (Chinese. English summary) Zbl 07404216 J. Softw. 32, No. 6, 1748-1778 (2021). MSC: 68M12 68Q60 PDF BibTeX XML Cite \textit{X. Gu} et al., J. Softw. 32, No. 6, 1748--1778 (2021; Zbl 07404216) Full Text: DOI OpenURL
Yang, Weiyu; Liu, Wenqi Model checking of fuzzy linear temporal logic based on quantum logic. (Chinese. English summary) Zbl 07403795 Fuzzy Syst. Math. 35, No. 1, 9-21 (2021). MSC: 68Q60 03B44 03B52 03G12 PDF BibTeX XML Cite \textit{W. Yang} and \textit{W. Liu}, Fuzzy Syst. Math. 35, No. 1, 9--21 (2021; Zbl 07403795) OpenURL
Hossain, Akash; Laroussinie, François \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers. (English) Zbl 07398018 Inf. Comput. 280, Article ID 104642, 19 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Hossain} and \textit{F. Laroussinie}, Inf. Comput. 280, Article ID 104642, 19 p. (2021; Zbl 07398018) Full Text: DOI arXiv OpenURL
Bozzelli, Laura; Montanari, Angelo; Peron, Adriano Complexity analysis of a unifying algorithm for model checking interval temporal logic. (English) Zbl 07398016 Inf. Comput. 280, Article ID 104640, 22 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{L. Bozzelli} et al., Inf. Comput. 280, Article ID 104640, 22 p. (2021; Zbl 07398016) Full Text: DOI Link OpenURL
Liu, Yezhou; Nicolescu, Radu; Sun, Jing; Henderson, Alec A sublinear Sudoku solution in cP systems and its formal verification. (English) Zbl 1469.68047 Comput. Sci. J. Mold. 29, No. 1(85), 3-28 (2021). MSC: 68Q07 05B15 68Q25 68Q60 PDF BibTeX XML Cite \textit{Y. Liu} et al., Comput. Sci. J. Mold. 29, No. 1(85), 3--28 (2021; Zbl 1469.68047) Full Text: Link OpenURL