×

Found 19,049 Documents (Results 1–100)

Newest Citations Relevance
Ekici, Burak; Viswanathan, Arjun; Zohar, Yoni; Tinelli, Cesare; Barrett, Clark

Formal verification of bit-vector invertibility conditions in Coq. (English) Zbl 1540.68130

Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 41-59 (2023).
MSC:  68Q60 68V15
Cite Review PDF
Full Text: DOI arXiv
OA License
Miedema, Daniel; Gattinger, Malvin

Exploiting asymmetry in logic puzzles: using ZDDs for symbolic model checking dynamic epistemic logic. (English) Zbl 1541.68225

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 407-420 (2023).
MSC:  68Q60 03B42
Cite Review PDF
Full Text: DOI arXiv
Khandait, Tanmay; Chandratre, Aniruddh; Baptista, Walstan; Pedrielli, Giulia; Fainekos, Georgios

Demo abstract: Analysing CPS security with falsification on the Microsoft flight simulator. (English) Zbl 07807971

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Anand, Ashwani; Nayak, Satya Prakash; Schmuck, Anne-Kathrin

Poster abstract: Permissiveness for strategy adaptation. (English) Zbl 07807970

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Majumdar, Rupak; Mallik, Kaushik; Rychlicki, Mateusz; Schmuck, Anne-Kathrin; Soudjani, Sadegh

Poster abstract: A toolchain for accelerated symbolic control. (English) Zbl 07807969

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 28, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Egidio, Lucas Neves; Nayak, Satya Prakash; Rossa, Matteo Della; Schmuck, Anne-Kathrin; Jungers, Raphaël

Poster abstract: Towards seamless reactivity of hybrid control. (English) Zbl 07807968

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 27, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Ho, Qi Heng; Ilyes, Roland; Sunberg, Zachary; Lahijanian, Morteza

Poster abstract: Sampling-based approach to robust STL synthesis for complex systems under uncertainty. (English) Zbl 07807966

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Karagulle, Ruya; Arechiga, Nikos; Best, Andrew; Decastro, Jonathan; Ozay, Necmiye

Poster abstract: Safety guaranteed preference learning approach for autonomous vehicles. (English) Zbl 07807965

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Raz, Daphna; Yang, Liren; Umberger, Brian; Ozay, Necmiye

Poster abstract: Reachability and controlled invariance for human stability during sit-to-stand. (English) Zbl 07807964

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Schön, Oliver; Van Huijgevoort, Birgit; Haesaert, Sofie; Soudjani, Sadegh

Poster abstract: Data-driven correct-by-design control of parametric stochastic systems. (English) Zbl 07807963

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI Link
Das, Spandan; Prabhakar, Pavithra

Poster abstract: Stability analysis of planar probabilistic piecewise constant derivative systems. (English) Zbl 07807962

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 21, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Chong, Stephen; Lanotte, Ruggero; Merro, Massimo; Tini, Simone; Xiang, Jian

Quantitative robustness analysis of sensor attacks on cyber-physical systems. (English) Zbl 07807961

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 20, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Fatnassi, Wael; Khedr, Haitham; Yamamoto, Valen; Shoukry, Yasser

Bern-NN: tight bound propagation for neural networks using Bernstein polynomial interval arithmetic. (English) Zbl 07807960

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Ladner, Tobias; Althoff, Matthias

Automatic abstraction refinement in neural network verification using sensitivity analysis. (English) Zbl 07807959

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI Link
Luo, Ertai; Kochdumper, Niklas; Bak, Stanley

Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes. (English) Zbl 07807958

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Chandratre, Aniruddh; Hernandez Acosta, Tomas; Khandait, Tanmay; Pedrielli, Giulia; Fainekos, Georgios

Stealthy attacks formalized as STL formulas for falsification of CPS security. (English) Zbl 07807956

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 8 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Mambakam, Akshay; Asarin, Eugene; Basset, Nicolas; Dang, Thao

Pattern matching and parameter identification for parametric timed regular expressions. (English) Zbl 07807955

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI HAL
Van Huijgevoort, Birgit; Schön, Oliver; Soudjani, Sadegh; Haesaert, Sofie

SySCoRe: synthesis via stochastic coupling relations. (English) Zbl 07807954

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Delimpaltadakis, Giannis; Lahijanian, Morteza; Mazo, Manuel jun.; Laurenti, Luca

Interval Markov decision processes with continuous action-spaces. (English) Zbl 07807953

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 12, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Gracia, Ibón; Boskos, Dimitris; Laurenti, Luca; Mazo, Manuel jun.

Distributionally robust strategy synthesis for switched stochastic systems. (English) Zbl 07807952

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Ferdowsi, Arman; Függer, Matthias; Nowak, Thomas; Schmid, Ulrich

Continuity of thresholded mode-switched ODEs and digital circuit delay models. (English) Zbl 07807951

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Zareian, Mehrdad; Schmuck, Anne-Kathrin

Lazy synthesis of symbolic output-feedback controllers for state-based safety specifications. (English) Zbl 07807950

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Debauche, Virginie; Della Rossa, Matteo; Jungers, Raphaël

Characterization of the ordering of path-complete stability certificates with addition-closed templates. (English) Zbl 07807949

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 8, 10 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Adimoolam, Arvind; Saha, Indranil; Dang, Thao

Safe self-triggered control based on precomputed reachability sequences. (English) Zbl 07807948

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 7, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI HAL
Tran, Hoang Dung; Choi, Sung Woo; Yang, Xiaodong; Yamaguchi, Tomoya; Hoxha, Bardh; Prokhorov, Danil

Verification of recurrent neural networks with star reachability. (English) Zbl 07807947

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Wetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias

Fully-automated verification of linear systems using reachability analysis with support functions. (English) Zbl 07807946

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 5, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI Link
Tran, Hoang-Dung; Choi, Sungwoo; Okamoto, Hideki; Hoxha, Bardh; Fainekos, Georgios; Prokhorov, Danil

Quantitative verification for neural networks using probstars. (English) Zbl 07807945

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 4, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Cardona, Gustavo A.; Kamale, Disha; Vasile, Cristian-Ioan

Mixed integer linear programming approach for control synthesis with weighted signal temporal logic. (English) Zbl 07807944

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Chen, Hongkai; Smolka, Scott A.; Paoletti, Nicola; Lin, Shan

An STL-based approach to resilient control for cyber-physical systems. (English) Zbl 07807943

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Cairoli, Francesca; Paoletti, Nicola; Bortolussi, Luca

Conformal quantitative predictive monitoring of STL requirements for stochastic processes. (English) Zbl 07807942

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 1, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Amilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidström, Christian; Rümmer, Philipp

Automatic program instrumentation for automatic verification. (English) Zbl 07798103

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 281-304 (2023).
MSC:  68N30 68Q60
Cite Review PDF
Full Text: DOI arXiv
OA License
Ozdemir, Alex; Wahby, Riad S.; Brown, Fraser; Barrett, Clark

Bounded verification for finite-field-blasting. In a compiler for zero knowledge proofs. (English) Zbl 07798097

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 154-175 (2023).
MSC:  68Q60 68N20 94A60
Cite Review PDF
Full Text: DOI
OA License
Andriushchenko, Roman; Bork, Alexander; Češka, Milan; Junges, Sebastian; Katoen, Joost-Pieter; Macák, Filip

Search and explore: symbiotic policy synthesis in POMDPs. (English) Zbl 07798095

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 113-135 (2023).
MSC:  68Q60 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License
Akshay, S.; Chatterjee, Krishnendu; Meggendorfer, Tobias; Žikelić, Đorđe

MDPs as distribution transformers: affine invariant synthesis for safety objectives. (English) Zbl 07798094

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 86-112 (2023).
MSC:  68Q60 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License
Badings, Thom; Junges, Sebastian; Marandi, Ahmadreza; Topcu, Ufuk; Jansen, Nils

Efficient sensitivity analysis for parametric robust Markov chains. (English) Zbl 07798093

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 62-85 (2023).
MSC:  68Q60 60J22 90C31
Cite Review PDF
Full Text: DOI arXiv
OA License
Watanabe, Kazuki; Eberhart, Clovis; Asada, Kazuyuki; Hasuo, Ichiro

Compositional probabilistic model checking with string diagrams of MDPs. (English) Zbl 07798092

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 40-61 (2023).
MSC:  68Q60 18M30 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License
Majumdar, Rupak; Mallik, Kaushik; Rychlicki, Mateusz; Schmuck, Anne-Kathrin; Soudjani, Sadegh

A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties. (English) Zbl 07798090

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 3-15 (2023).
MSC:  68Q60 68Q45 91A43 91A80 93E03
Cite Review PDF
Full Text: DOI
OA License
Anand, Ashwani; Nayak, Satya Prakash; Schmuck, Anne-Kathrin

Synthesizing permissive winning strategy templates for parity games. (English) Zbl 07798075

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 436-458 (2023).
MSC:  68Q60 68Q45 91A05 91A43 91A80 93B50
Cite Review PDF
Full Text: DOI arXiv
OA License
Alur, Rajeev; Bastani, Osbert; Jothimurugan, Kishor; Perez, Mateo; Somenzi, Fabio; Trivedi, Ashutosh

Policy synthesis and reinforcement learning for discounted LTL. (English) Zbl 07798074

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 415-435 (2023).
MSC:  68Q60 03B44 68T05 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License
Křetínský, Jan; Meggendorfer, Tobias; Prokop, Maximilian; Rieder, Sabine

Guessing winning policies in LTL synthesis by semantic learning. (English) Zbl 07798073

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 390-414 (2023).
MSC:  68Q60 03B44 68Q32 68Q45 91A80
Cite Review PDF
Full Text: DOI arXiv
OA License
Meira-Góes, Rômulo; Dardik, Ian; Kang, Eunsuk; Lafortune, Stéphane; Tripakis, Stavros

Safe environmental envelopes of discrete systems. (English) Zbl 07798070

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 326-350 (2023).
MSC:  68Q60 68Q85 93B51
Cite Review PDF
Full Text: DOI arXiv
OA License
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Godbole, Adwait; Krishna, Shankaranarayanan; Vahanwala, Mihir

Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models. (English) Zbl 07798063

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13964, 184-205 (2023).
MSC:  68N30 68N19 68Q60 68Q85
Cite Review PDF
Full Text: DOI
OA License
Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang

Searching for i-good lemmas to accelerate safety model checking. (English) Zbl 07787558

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 288-308 (2023).
MSC:  68Q60
Cite Review PDF
Full Text: DOI
OA License
Wu, Wenhao; Hückelheim, Jan; Hovland, Paul D.; Luo, Ziqing; Siegel, Stephen F.

Model checking race-freedom when “sequential consistency for data-race-free programs” is guaranteed. (English) Zbl 07787557

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 265-287 (2023).
MSC:  68Q60 68N19
Cite Review PDF
Full Text: DOI arXiv
OA License
Tsai, Ming-Hsien; Fu, Yu-Fu; Liu, Jiaxiang; Shi, Xiaomu; Wang, Bow-Yaw; Yang, Bo-Yin

CoqCryptoLine: a verified model checker with certified results. (English) Zbl 07787555

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 227-240 (2023).
MSC:  68Q60 68V15 94A60
Cite Review PDF
Full Text: DOI
OA License
Kori, Mayuko; Ascari, Flavio; Bonchi, Filippo; Bruni, Roberto; Gori, Roberta; Hasuo, Ichiro

Exploiting adjoints in property directed reachability analysis. (English) Zbl 07787547

Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13965, 41-63 (2023).
MSC:  68Q60 68Q85 90C40
Cite Review PDF
Full Text: DOI arXiv
OA License

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software