Kovács, Laura (ed.); Meinke, Karl (ed.) Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. (English) Zbl 07554836 Lecture Notes in Computer Science 13361. Cham: Springer (ISBN 978-3-031-09826-0/pbk; 978-3-031-09827-7/ebook). viii, 125 p. (2022). MSC: 68-06 68Q60 68V15 00B25 PDF BibTeX XML Cite \textit{L. Kovács} (ed.) and \textit{K. Meinke} (ed.), Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. Cham: Springer (2022; Zbl 07554836) Full Text: DOI OpenURL
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Vozarova, Viktoria Diagnosability of fair transition systems. (English) Zbl 07554482 Artif. Intell. 309, Article ID 103725, 39 p. (2022). MSC: 68Q60 90B25 93B07 PDF BibTeX XML Cite \textit{B. Bittner} et al., Artif. Intell. 309, Article ID 103725, 39 p. (2022; Zbl 07554482) Full Text: DOI OpenURL
Patt-Shamir, Boaz; Perry, Mor Proof-labeling schemes: broadcast, unicast and in between. (English) Zbl 07540238 Theor. Comput. Sci. 923, 179-195 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{B. Patt-Shamir} and \textit{M. Perry}, Theor. Comput. Sci. 923, 179--195 (2022; Zbl 07540238) Full Text: DOI OpenURL
Preoteasa, Viorel; Dragomir, Iulia; Tripakis, Stavros The refinement calculus of reactive systems. (English) Zbl 1487.68160 Inf. Comput. 285, Part B, Article ID 104819, 43 p. (2022). MSC: 68Q60 68V20 PDF BibTeX XML Cite \textit{V. Preoteasa} et al., Inf. Comput. 285, Part B, Article ID 104819, 43 p. (2022; Zbl 1487.68160) Full Text: DOI OpenURL
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin Robust, expressive, and quantitative linear temporal logics: pick any two for free. (English) Zbl 07538307 Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{D. Neider} et al., Inf. Comput. 285, Part B, Article ID 104810, 23 p. (2022; Zbl 07538307) Full Text: DOI OpenURL
Aminof, Benjamin; Murano, Aniello; Rubin, Sasha; Zuleger, Florian Verification of agent navigation in partially-known environments. (English) Zbl 07535447 Artif. Intell. 308, Article ID 103724, 34 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{B. Aminof} et al., Artif. Intell. 308, Article ID 103724, 34 p. (2022; Zbl 07535447) Full Text: DOI OpenURL
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
Bahrami, Bahador; Ghouli, Saeid; Nejati, Morteza; Ayatollahi, Majid Reza; Driesner, Thomas Size effect in true mode II fracturing of rocks: theory and experiment. (English) Zbl 07516650 Eur. J. Mech., A, Solids 94, Article ID 104593, 14 p. (2022). MSC: 74R10 74L10 74-05 PDF BibTeX XML Cite \textit{B. Bahrami} et al., Eur. J. Mech., A, Solids 94, Article ID 104593, 14 p. (2022; Zbl 07516650) 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 1485.68021 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 1485.68021) 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
Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca On logical and extensional characterizations of attributed feature models. (English) Zbl 1483.68075 Theor. Comput. Sci. 912, 56-80 (2022). MSC: 68N30 PDF BibTeX XML Cite \textit{F. Damiani} et al., Theor. Comput. Sci. 912, 56--80 (2022; Zbl 1483.68075) 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
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
Gozzi, Fausto; Leocata, Marta A stochastic model of economic growth in time-space. (English) Zbl 1485.91142 SIAM J. Control Optim. 60, No. 2, 620-651 (2022). MSC: 91B62 93E20 93B52 PDF BibTeX XML Cite \textit{F. Gozzi} and \textit{M. Leocata}, SIAM J. Control Optim. 60, No. 2, 620--651 (2022; Zbl 1485.91142) Full Text: DOI arXiv OpenURL
Freedman, Michael; Haah, Jeongwan; Hastings, Matthew B. The group structure of quantum cellular automata. (English) Zbl 1487.81041 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 1487.81041) Full Text: DOI arXiv OpenURL
Chen, Haibo; Gao, Xin Mathematics and software verification. (English) Zbl 07481172 Heng, Liao (ed.) et al., Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54-73 (2022). MSC: 68N30 03B70 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Chen} and \textit{X. Gao}, in: Mathematics for future computing and communications. Cambridge: Cambridge University Press. 54--73 (2022; Zbl 07481172) Full Text: 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 03B44 68Q60 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 1487.68165 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 1487.68165) 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
Russinoff, David M. Formal verification of floating-point hardware design. A mathematical approach. 2nd edition. (English) Zbl 1486.68005 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 1486.68005) Full Text: DOI OpenURL
Cristiá, Maximiliano; Rossi, Gianfranco \(\{\mathit{log}\}\): set formulas as programs. (English) Zbl 07552282 Rend. Ist. Mat. Univ. Trieste 53, Paper No. 23, 24 p. (2021). MSC: 68N30 03B70 03E20 03E75 68N15 68N17 68Q60 68V15 PDF BibTeX XML Cite \textit{M. Cristiá} and \textit{G. Rossi}, Rend. Ist. Mat. Univ. Trieste 53, Paper No. 23, 24 p. (2021; Zbl 07552282) Full Text: DOI OpenURL
Kourtis, G.; Dixon, C.; Fisher, M.; Lisitsa, A. Parameterized verification of leader/follower systems via first-order temporal logic. (English) Zbl 07548213 Form. Methods Syst. Des. 58, No. 3, 440-468 (2021). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{G. Kourtis} et al., Form. Methods Syst. Des. 58, No. 3, 440--468 (2021; Zbl 07548213) Full Text: DOI OpenURL
Dureja, Rohit; Rozier, Kristin Y. Incremental design-space model checking via reusable reachable state approximations. (English) Zbl 07548211 Form. Methods Syst. Des. 58, No. 3, 375-398 (2021). MSC: 68Q60 68T20 90B20 93C95 PDF BibTeX XML Cite \textit{R. Dureja} and \textit{K. Y. Rozier}, Form. Methods Syst. Des. 58, No. 3, 375--398 (2021; Zbl 07548211) Full Text: DOI OpenURL
Alur, Rajeev; Fisman, Dana Colored nested words. (English) Zbl 07548210 Form. Methods Syst. Des. 58, No. 3, 347-374 (2021). MSC: 68Q45 68N30 68Q42 68Q60 PDF BibTeX XML Cite \textit{R. Alur} and \textit{D. Fisman}, Form. Methods Syst. Des. 58, No. 3, 347--374 (2021; Zbl 07548210) Full Text: DOI OpenURL
Latte, Markus Branching-time logics and fairness, revisited. (English) Zbl 07547345 Math. Struct. Comput. Sci. 31, No. 9, 1135-1144 (2021). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{M. Latte}, Math. Struct. Comput. Sci. 31, No. 9, 1135--1144 (2021; Zbl 07547345) Full Text: DOI OpenURL
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Automatic verification of concurrent stochastic systems. (English) Zbl 07544945 Form. Methods Syst. Des. 58, No. 1-2, 188-250 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{M. Kwiatkowska} et al., Form. Methods Syst. Des. 58, No. 1--2, 188--250 (2021; Zbl 07544945) Full Text: DOI OpenURL
Ganty, Pierre (ed.); Bresolin, Davide (ed.) Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20–22, 2021. (English) Zbl 07544355 Electronic Proceedings in Theoretical Computer Science (EPTCS) 346. Waterloo: Open Publishing Association (OPA). 307 p., electronic only, open access (2021). MSC: 68-06 68Q45 68Q60 91A80 00B25 PDF BibTeX XML Cite \textit{P. Ganty} (ed.) and \textit{D. Bresolin} (ed.), Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20--22, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 07544355) Full Text: DOI Link OpenURL
Formisano, Andrea (ed.); Liu, Yanhong Annie (ed.); Bogaerts, Bart (ed.); Brik, Alex (ed.); Dahl, Veronica (ed.); Dodaro, Carmine (ed.); Fodor, Paul (ed.); Pozzato, Gian Luca (ed.); Vennekens, Joost (ed.); Zhou, Neng-Fa (ed.) Proceedings of the 37th international conference on logic programming (technical communications), ICLP, Porto, virtual event, September 20–27, 2021. (English) Zbl 07544354 Electronic Proceedings in Theoretical Computer Science (EPTCS) 345. Waterloo: Open Publishing Association (OPA). 309 p., electronic only, open access (2021). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{A. Formisano} (ed.) et al., Proceedings of the 37th international conference on logic programming (technical communications), ICLP, Porto, virtual event, September 20--27, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 07544354) Full Text: DOI Link OpenURL
Hojjat, Hossein (ed.); Kafle, Bishoksan (ed.) Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021. (English) Zbl 07544353 Electronic Proceedings in Theoretical Computer Science (EPTCS) 344. Waterloo: Open Publishing Association (OPA). 108 p., electronic only, open access (2021). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{H. Hojjat} (ed.) and \textit{B. Kafle} (ed.), Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 07544353) Full Text: DOI Link OpenURL
Lisitsa, Alexei (ed.); Nemytykh, Andrei P. (ed.) Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27–28, 2021. (English) Zbl 07544351 Electronic Proceedings in Theoretical Computer Science (EPTCS) 341. Waterloo: Open Publishing Association (OPA). 94 p., electronic only, open access (2021). MSC: 68-06 68N30 68Q60 00B25 PDF BibTeX XML Cite \textit{A. Lisitsa} (ed.) and \textit{A. P. Nemytykh} (ed.), Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 07544351) Full Text: DOI Link OpenURL
Sierra, Pablo BDI logic applied to a dialogical interpretation of human-machine cooperative dialogues. (English) Zbl 07542765 Log. J. IGPL 29, No. 4, 536-548 (2021). MSC: 03B70 03B42 68Q60 68T27 PDF BibTeX XML Cite \textit{P. Sierra}, Log. J. IGPL 29, No. 4, 536--548 (2021; Zbl 07542765) Full Text: DOI OpenURL
Mazurek, Łukasz EthVer: formal verification of randomized Ethereum smart contracts. (English) Zbl 07535925 Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 364-380 (2021). MSC: 91G99 94A60 PDF BibTeX XML Cite \textit{Ł. Mazurek}, Lect. Notes Comput. Sci. 12676, 364--380 (2021; Zbl 07535925) Full Text: DOI OpenURL
Sun, Xinyuan; Lin, Shaokai; Sjöberg, Vilhelm; Jie, Jay How to exploit a DeFi project. (English) Zbl 07535909 Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 162-167 (2021). MSC: 91G99 94A60 PDF BibTeX XML Cite \textit{X. Sun} et al., Lect. Notes Comput. Sci. 12676, 162--167 (2021; Zbl 07535909) Full Text: DOI OpenURL
Breden, Maxime; Chainais-Hillairet, Claire; Zurek, Antoine Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof. (English) Zbl 07523511 ESAIM, Math. Model. Numer. Anal. 55, No. 4, 1669-1697 (2021). MSC: 35Qxx 35C07 35Q92 47H10 65G20 65N35 PDF BibTeX XML Cite \textit{M. Breden} et al., ESAIM, Math. Model. Numer. Anal. 55, No. 4, 1669--1697 (2021; Zbl 07523511) Full Text: DOI OpenURL
Chen, Miao; Zhang, Qing; Ge, Yunfei; Qin, Xianrong; Sun, Yuantao Dynamic analysis of an over-constrained parallel mechanism with the principle of virtual work. (English) Zbl 07507180 Math. Comput. Model. Dyn. Syst. 27, No. 1, 347-372 (2021). MSC: 70B15 PDF BibTeX XML Cite \textit{M. Chen} et al., Math. Comput. Model. Dyn. Syst. 27, No. 1, 347--372 (2021; Zbl 07507180) Full Text: DOI OpenURL
Piho, Paul; Hillston, Jane Active and sparse methods in smoothed model checking. (English) Zbl 07498050 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 217-234 (2021). MSC: 68Q60 68Q87 68T05 PDF BibTeX XML Cite \textit{P. Piho} and \textit{J. Hillston}, Lect. Notes Comput. Sci. 12846, 217--234 (2021; Zbl 07498050) Full Text: DOI OpenURL
Teuber, Samuel; Weigl, Alexander Quantifying software reliability via model-counting. (English) Zbl 07498042 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 59-79 (2021). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{S. Teuber} and \textit{A. Weigl}, Lect. Notes Comput. Sci. 12846, 59--79 (2021; Zbl 07498042) Full Text: DOI OpenURL
Hartmanns, Arnd; Katoen, Joost-Pieter; Kohlen, Bram; Spel, Jip Tweaking the odds in probabilistic timed automata. (English) Zbl 07498041 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 39-58 (2021). MSC: 68Q45 68Q60 68Q87 90C40 PDF BibTeX XML Cite \textit{A. Hartmanns} et al., Lect. Notes Comput. Sci. 12846, 39--58 (2021; Zbl 07498041) Full Text: DOI OpenURL
Nxumalo, Madoda; Timm, Nils; Gruner, Stefan Spotlight abstraction in model checking real-time task schedulability. (English) Zbl 07497973 Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 63-80 (2021). MSC: 68Q60 68M20 68Q45 PDF BibTeX XML Cite \textit{M. Nxumalo} et al., Lect. Notes Comput. Sci. 12864, 63--80 (2021; Zbl 07497973) Full Text: DOI OpenURL
Amat, Nicolas; Dal Zilio, Silvano; Le Botlan, Didier Accelerating the computation of dead and concurrent places using reductions. (English) Zbl 07497972 Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 45-62 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{N. Amat} et al., Lect. Notes Comput. Sci. 12864, 45--62 (2021; Zbl 07497972) Full Text: DOI OpenURL
Stoelinga, Marielle; Kolb, Christina; Nicoletti, Stefano M.; Budde, Carlos E.; Hahn, Ernst Moritz The marriage between safety and cybersecurity: still practicing. (English) Zbl 07497970 Laarman, Alfons (ed.) et al., Model checking software. 27th international symposium, SPIN 2021, virtual event, July 12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12864, 3-21 (2021). MSC: 68M25 68M15 68Q60 68T37 91A80 PDF BibTeX XML Cite \textit{M. Stoelinga} et al., Lect. Notes Comput. Sci. 12864, 3--21 (2021; Zbl 07497970) Full Text: DOI OpenURL
Wulandari, Gia S.; Plump, Detlef Verifying graph programs with monadic second-order logic. (English) Zbl 07493665 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 240-261 (2021). MSC: 68N30 03B70 68Q42 68Q60 68R10 PDF BibTeX XML Cite \textit{G. S. Wulandari} and \textit{D. Plump}, Lect. Notes Comput. Sci. 12741, 240--261 (2021; Zbl 07493665) Full Text: DOI OpenURL
Maximova, Maria; Schneider, Sven; Giese, Holger Interval probabilistic timed graph transformation systems. (English) Zbl 07493664 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021). MSC: 68Q42 68Q60 68Q87 PDF BibTeX XML Cite \textit{M. Maximova} et al., Lect. Notes Comput. Sci. 12741, 221--239 (2021; Zbl 07493664) Full Text: DOI OpenURL
Schneider, Sven; Lambers, Leen Evaluation diversity for graph conditions. (English) Zbl 07493659 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 122-141 (2021). MSC: 68Q42 03B70 68N30 68R10 PDF BibTeX XML Cite \textit{S. Schneider} and \textit{L. Lambers}, Lect. Notes Comput. Sci. 12741, 122--141 (2021; Zbl 07493659) Full Text: DOI OpenURL
Kang, Jiawen; Bai, Yunjun; Jiao, Li Abstraction-based incremental inductive coverability for Petri nets. (English) Zbl 07493586 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 379-398 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{J. Kang} et al., Lect. Notes Comput. Sci. 12734, 379--398 (2021; Zbl 07493586) Full Text: DOI OpenURL
Jezequel, Loïg; Lime, Didier; Sérée, Bastien A lazy query scheme for reachability analysis in Petri nets. (English) Zbl 07493585 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 360-378 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{L. Jezequel} et al., Lect. Notes Comput. Sci. 12734, 360--378 (2021; Zbl 07493585) Full Text: DOI OpenURL
Bouvier, Pierre; Garavel, Hubert Efficient algorithms for three reachability problems in safe Petri nets. (English) Zbl 07493584 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 339-359 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{P. Bouvier} and \textit{H. Garavel}, Lect. Notes Comput. Sci. 12734, 339--359 (2021; Zbl 07493584) Full Text: DOI OpenURL
Haustermann, Michael; Mosteller, David; Moldt, Daniel Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets. (English) Zbl 07493579 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 230-249 (2021). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Haustermann} et al., Lect. Notes Comput. Sci. 12734, 230--249 (2021; Zbl 07493579) Full Text: DOI OpenURL
Wallner, Sophie; Wolf, Karsten Skeleton abstraction for universal temporal properties. (English) Zbl 07493577 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 186-207 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{S. Wallner} and \textit{K. Wolf}, Lect. Notes Comput. Sci. 12734, 186--207 (2021; Zbl 07493577) Full Text: DOI OpenURL
Amat, Nicolas; Berthomieu, Bernard; Dal Zilio, Silvano On the combination of polyhedral abstraction and SMT-based model checking for Petri nets. (English) Zbl 07493576 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 164-185 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{N. Amat} et al., Lect. Notes Comput. Sci. 12734, 164--185 (2021; Zbl 07493576) Full Text: DOI OpenURL
Esparza, Javier; Raskin, Mikhail; Welzel, Christoph Computing parameterized invariants of parameterized Petri nets. (English) Zbl 07493575 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 141-163 (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. Esparza} et al., Lect. Notes Comput. Sci. 12734, 141--163 (2021; Zbl 07493575) Full Text: DOI OpenURL
Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří Automatic synthesis of transiently correct network updates via Petri games. (English) Zbl 07493574 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 118-137 (2021). MSC: 68Q85 68M10 68Q60 68R10 91A80 PDF BibTeX XML Cite \textit{M. Didriksen} et al., Lect. Notes Comput. Sci. 12734, 118--137 (2021; Zbl 07493574) Full Text: DOI OpenURL
Gieseking, Manuel; Würdemann, Nick Canonical representations for direct generation of strategies in high-level Petri games. (English) Zbl 07493573 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 95-117 (2021). MSC: 68Q85 68Q60 91A80 PDF BibTeX XML Cite \textit{M. Gieseking} and \textit{N. Würdemann}, Lect. Notes Comput. Sci. 12734, 95--117 (2021; Zbl 07493573) Full Text: DOI OpenURL
Haddad, Serge; Lime, Didier; Roux, Olivier H. A turn-based approach for qualitative time concurrent games. (English) Zbl 07493572 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 76-92 (2021). MSC: 68Q85 68Q60 91A80 PDF BibTeX XML Cite \textit{S. Haddad} et al., Lect. Notes Comput. Sci. 12734, 76--92 (2021; Zbl 07493572) Full Text: DOI OpenURL
Parrot, Rémi; Briday, Mikaël; Roux, Olivier H. Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 07493571 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021). MSC: 68Q85 68Q06 68Q45 68Q60 PDF BibTeX XML Cite \textit{R. Parrot} et al., Lect. Notes Comput. Sci. 12734, 55--75 (2021; Zbl 07493571) Full Text: DOI OpenURL
Zalakain, Uma; Dardha, Ornela \( \pi\) with leftovers: a mechanisation in Agda. (English) Zbl 07493477 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 157-174 (2021). MSC: 68Q85 03B70 68N30 68Q60 68V20 PDF BibTeX XML Cite \textit{U. Zalakain} and \textit{O. Dardha}, Lect. Notes Comput. Sci. 12719, 157--174 (2021; Zbl 07493477) Full Text: DOI OpenURL
Castiglioni, Valentina; Loreti, Michele; Tini, Simone How adaptive and reliable is your program? (English) Zbl 07493472 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021). MSC: 68Q60 68N30 68Q85 68Q87 PDF BibTeX XML Cite \textit{V. Castiglioni} et al., Lect. Notes Comput. Sci. 12719, 60--79 (2021; Zbl 07493472) Full Text: DOI OpenURL
Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna On bidirectional runtime enforcement. (English) Zbl 07493469 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 3-21 (2021). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 12719, 3--21 (2021; Zbl 07493469) 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
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
Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian Comprehensive systems: a formal foundation for multi-model consistency management. (English) Zbl 07455780 Formal Asp. Comput. 33, No. 6, 1067-1114 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{P. Stünkel} et al., Formal Asp. Comput. 33, No. 6, 1067--1114 (2021; Zbl 07455780) Full Text: DOI OpenURL
Khoroshilov, A. V. Verification of compliance for multilevel models in individual trace semantics. (English) Zbl 1485.68152 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 1485.68152) 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
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J. Towards efficient verification of population protocols. (English) Zbl 1487.68032 Form. Methods Syst. Des. 57, No. 3, 305-342 (2021). MSC: 68M14 68M12 68Q25 68Q60 PDF BibTeX XML Cite \textit{M. Blondin} et al., Form. Methods Syst. Des. 57, No. 3, 305--342 (2021; Zbl 1487.68032) Full Text: DOI arXiv 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
Sokolov, V. F. Adaptive optimal tracking of a discrete-time minimum-phase plant under output uncertainty. (English. Russian original) Zbl 1475.93065 Autom. Remote Control 82, No. 8, 1378-1394 (2021); translation from Avtom. Telemekh. 2021, No. 8, 108-128 (2021). MSC: 93C40 93B35 93C55 49J55 PDF BibTeX XML Cite \textit{V. F. Sokolov}, Autom. Remote Control 82, No. 8, 1378--1394 (2021; Zbl 1475.93065); translation from Avtom. Telemekh. 2021, No. 8, 108--128 (2021) 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
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). (English) Zbl 07433024 J. Autom. Reasoning 65, No. 7, 941-969 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{D. Calvanese} et al., J. Autom. Reasoning 65, No. 7, 941--969 (2021; Zbl 07433024) Full Text: DOI 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 (Como) 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
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
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
Su, Teng; Zhou, Hongwei; Zhao, Jiawei; Liu, Zelin; Dias, Daniel A fractional derivative-based numerical approach to rate-dependent stress-strain relationship for viscoelastic materials. (English) Zbl 1487.74018 Acta Mech. 232, No. 6, 2347-2359 (2021). MSC: 74D05 74A20 74S40 26A33 PDF BibTeX XML Cite \textit{T. Su} et al., Acta Mech. 232, No. 6, 2347--2359 (2021; Zbl 1487.74018) Full Text: DOI 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