Found 19,049 Documents (Results 1–100)
Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses. (English) Zbl 07911151
MSC:
68Q60
Possibility tracking: a simple technique for machine-verifying lock-free data structures. (English) Zbl 1543.68098
Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game. (English) Zbl 07887973
A general architecture for intersection-based decentralized supervisory control of discrete event systems. (English) Zbl 07884225
A uniform framework for diagnosis of discrete-event systems with unreliable sensors using linear temporal logic. (English) Zbl 07884165
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities. (English) Zbl 07861405
Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems. (English) Zbl 07833682
Verification, model checking, and abstract interpretation. 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024. Proceedings. Part II. (English) Zbl 07831420
Lecture Notes in Computer Science 14500. Cham: Springer (ISBN 978-3-031-50520-1/pbk; 978-3-031-50521-8/ebook). xviii, 340 p. (2024).
Verification, model checking, and abstract interpretation. 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024. Proceedings. Part I. (English) Zbl 07831419
Lecture Notes in Computer Science 14499. Cham: Springer (ISBN 978-3-031-50523-2/pbk; 978-3-031-50524-9/ebook). xviii, 352 p. (2024).
Constrained Kripke structure for identifying parameters of biological models. (English) Zbl 07827498
Mathematics and the formal turn. (English) Zbl 07826993
Playing safe, ten years later. (English) Zbl 07814918
Generation of microwave-optics entanglement via reservoir engineering in cavity magnonic systems. (English) Zbl 1540.81029
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. (English) Zbl 07789013
Programming-based formal languages and automata theory. Design, implement, validate, and prove. (English) Zbl 1531.68006
Texts in Computer Science. Cham: Springer (ISBN 978-3-031-43972-8/hbk; 978-3-031-43975-9/pbk; 978-3-031-43973-5/ebook). xxiii, 524 p. (2024).
Complete Game Logic with Sabotage. arXiv:2404.09873
Preprint, arXiv:2404.09873 [cs.LO] (2024).
DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning – extended version. (English) Zbl 07907912
On black-box verifiable outsourcing. (English) Zbl 07890218
Rothblum, Guy (ed.) et al., Theory of cryptography. 21st international conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14369, 158-187 (2023).
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).
Automated technology for verification and analysis. 21st international symposium, ATVA 2023, Singapore, October 24–27, 2023. Proceedings. Part II. (English) Zbl 1540.68006
Lecture Notes in Computer Science 14216. Cham: Springer (ISBN 978-3-031-45331-1/pbk; 978-3-031-45332-8/ebook). xv, 330 p. (2023).
Automated technology for verification and analysis. 21st international symposium, ATVA 2023, Singapore, October 24–27, 2023. Proceedings. Part I. (English) Zbl 1540.68005
Lecture Notes in Computer Science 14215. Cham: Springer (ISBN 978-3-031-45328-1/pbk; 978-3-031-45329-8/ebook). xvi, 446 p. (2023).
Formal verification of structurally complex multipliers. (English) Zbl 1534.68002
Singapore: Springer (ISBN 978-3-031-24570-1/hbk; 978-3-031-24573-2/pbk; 978-3-031-24571-8/ebook). xiii, 130 p. (2023).
Critical observability verification and enforcement of labeled Petri nets by using basis markings. (English) Zbl 07811049
Fully automated verification of linear systems using inner and outer approximations of reachable sets. (English) Zbl 07811000
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).
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).
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).
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).
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).
Poster: Convex scenario optimisation for ReLU networks. (English) Zbl 07807967
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. 26, 2 p. (2023).
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).
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).
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).
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).
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).
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).
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).
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).
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).
Wordgen: a timed word generation tool. (English) Zbl 07807957
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. 16, 7 p. (2023).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).
Formula normalizations in verification. (English) Zbl 07798108
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, 398-422 (2023).
Early verification of legal compliance via bounded satisfiability checking. (English) Zbl 07798107
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, 374-396 (2023).
Certified verification for algebraic abstraction. (English) Zbl 07798105
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, 329-349 (2023).
Boolean abstractions for realizability modulo theories. (English) Zbl 07798104
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, 305-328 (2023).
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).
Automated verification of correctness for masked arithmetic programs. (English) Zbl 07798102
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, 255-280 (2023).
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).
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).
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).
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).
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).
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).
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).
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).
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).
Counterexample guided knowledge compilation for Boolean functional synthesis. (English) Zbl 07798072
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, 367-389 (2023).
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).
Unblocking dynamic partial order reduction. (English) Zbl 07798065
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, 230-250 (2023).
Rely-guarantee reasoning for causally consistent shared memory. (English) Zbl 07798064
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, 206-229 (2023).
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).
Online causation monitoring of signal temporal logic. (English) Zbl 07798057
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, 62-84 (2023).
Learning assumptions for compositional verification of timed automata. (English) Zbl 07798056
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, 40-61 (2023).
Verifying generalization in deep learning. (English) Zbl 07787565
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, 438-455 (2023).
QEBVerif: quantization error bound verification of neural networks. (English) Zbl 07787564
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, 413-437 (2023).
Second-order hyperproperties. (English) Zbl 07787559
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, 309-332 (2023).
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
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).
Incremental dead state detection in logarithmic time. (English) Zbl 07787556
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, 241-264 (2023).
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).
The Golem Horn solver. (English) Zbl 07787554
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, 209-223 (2023).
Rounding meets approximate model counting. (English) Zbl 07787551
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, 132-162 (2023).
Partial quantifier elimination and property generation. (English) Zbl 07787550
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, 110-131 (2023).
Local search for solving satisfiability of polynomial formulas. (English) Zbl 07787549
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, 87-109 (2023).
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).
Decision procedures for sequence theories. (English) Zbl 07787546
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, 18-40 (2023).
Filter Results by …
Document Type
- Journal Articles (7,022)
- Collection Articles (10,963)
- Books (1,061)
- arXiv Preprints (3)
all
top 5
Author
- Larsen, Kim Guldstrand (141)
- Vardi, Moshe Ya’akov (140)
- Henzinger, Thomas A. (128)
- Kupferman, Orna (124)
- Katoen, Joost-Pieter (110)
- Pnueli, Amir (103)
- Meseguer Guaita, José (99)
- Clarke, Edmund Melson jun. (91)
- Kwiatkowska, Marta Z. (89)
- Abdulla, Parosh Aziz (88)
- Bouajjani, Ahmed (86)
- Chatterjee, Krishnendu (85)
- Grumberg, Orna (84)
- Peled, Doron A. (82)
- Alur, Rajeev (76)
- Esparza, Javier (74)
- Legay, Axel (74)
- Finkbeiner, Bernd (71)
- Kobayashi, Naoki (65)
- Raskin, Jean-François (65)
- Baier, Christel (61)
- Bouyer, Patricia (59)
- Lange, Martin (59)
- Penczek, Wojciech (59)
- Demri, Stéphane P. (58)
- Bergstra, Jan A. (57)
- Cimatti, Alessandro (56)
- Kröning, Daniel (56)
- Murano, Aniello (56)
- Hermanns, Holger (54)
- Manna, Zohar (54)
- Markey, Nicolas (54)
- Broy, Manfred (52)
- Duan, Zhenhua (52)
- Majumdar, Rupak (52)
- Podelski, Andreas (52)
- Bozzelli, Laura (51)
- Platzer, André (51)
- Derrick, John (48)
- Olderog, Ernst-Rüdiger (48)
- Jonsson, Bengt (47)
- McMillan, Kenneth L. (47)
- Ouaknine, Joel O. (47)
- Viswanathan, Mahesh (47)
- Wehrheim, Heike (47)
- Zhan, Naijun (47)
- Delzanno, Giorgio (46)
- Křetínský, Jan (46)
- Pettorossi, Alberto (46)
- Parker, David F. (45)
- Veith, Helmut (44)
- Gurfinkel, Arie (43)
- Shoham, Sharon (43)
- Srba, Jiří (43)
- Walukiewicz, Igor (43)
- Ehrig, Hartmut (42)
- Laroussinie, François (42)
- Tian, Cong (42)
- Leucker, Martin (41)
- Norman, Gethin (41)
- Strichman, Ofer (41)
- Woodcock, James C. P. (41)
- Zhang, Lijun (41)
- de Boer, Frank S. (40)
- Finkel, Alain (40)
- Piterman, Nir (40)
- Basin, David A. (39)
- Emerson, Ernest Allen (39)
- Madhusudan, Parthasarathy (39)
- Nielson, Flemming (39)
- Worrell, James Benjamin (39)
- Schewe, Sven (38)
- Sharygina, Natasha (38)
- Montanari, Angelo (37)
- Willemse, Tim A. C. (37)
- Aceto, Luca (36)
- Apt, Krzysztof Rafal (36)
- Sagiv, Mooly (36)
- Touili, Tayssir (36)
- Atig, Mohamed Faouzi (35)
- Bloem, Roderick (35)
- Cavalcanti, Ana (35)
- Groote, Jan Friso (35)
- Hoare, Charles Antony Richard (35)
- Martí-Oliet, Narciso (35)
- Kucera, Antonin (34)
- Namjoshi, Kedar S. (34)
- Peron, Adriano (34)
- Roşu, Grigore (34)
- Zimmermann, Martin (34)
- Zuck, Lenore D. (34)
- Chechik, Marsha (33)
- Chen, Taolue (33)
- Gastin, Paul (33)
- Nepomniaschy, Valery A. (33)
- Cousot, Patrick (32)
- Enea, Constantin (32)
- Huth, Michael R. A. (32)
- Maler, Oded (32)
- Proietti, Maurizio (32)
- and 14,815 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (668)
- Formal Asp. Comput. (371)
- Form. Methods Syst. Des. (332)
- Inf. Comput. (260)
- Lect. Notes Comput. Sci. (242)
- Sci. Comput. Program. (241)
- Inf. Process. Lett. (226)
- Acta Inf. (216)
- Log. Methods Comput. Sci. (210)
- Fundam. Inform. (204)
- Program. Comput. Softw. (186)
- J. Autom. Reasoning (143)
- ACM Trans. Comput. Log. (130)
- J. Log. Algebr. Methods Program. (115)
- J. Log. Comput. (103)
- Math. Struct. Comput. Sci. (102)
- J. Comput. Syst. Sci. (100)
- IEEE Trans. Softw. Eng. (97)
- J. Log. Algebr. Program. (82)
- ACM Trans. Program. Lang. Syst. (73)
- J. Assoc. Comput. Mach. (72)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (68)
- IEEE Trans. Autom. Control (67)
- Int. J. Found. Comput. Sci. (67)
- SIAM J. Comput. (63)
- J. Symb. Comput. (61)
- Cybern. Syst. Anal. (59)
- Electron. Notes Theor. Comput. Sci. (59)
- Cybernetics (56)
- J. ACM (56)
- J. Softw. (49)
- Distrib. Comput. (47)
- Comput. J. (43)
- J. Log. Program. (42)
- J. Funct. Program. (40)
- Theory Pract. Log. Program. (40)
- IEEE Trans. Comput. (38)
- Inf. Control (36)
- Ann. Pure Appl. Logic (35)
- Softw., Pract. Exper. (33)
- Ann. Math. Artif. Intell. (33)
- J. Comput. Sci. Technol. (32)
- Log. J. IGPL (32)
- Nord. J. Comput. (30)
- Bull. Eur. Assoc. Theor. Comput. Sci. EATCS (29)
- Jt. Bull. NCC IIS, Ser. Comput. Sci. (29)
- Acta Cybern. (28)
- Int. J. Comput. Math. (28)
- Artif. Intell. (27)
- Computing (27)
- Electron. Proc. Theor. Comput. Sci. (EPTCS) (26)
- Comput. Lang. (25)
- Inf. Sci. (25)
- J. Appl. Log. (24)
- Vychisl. Sist. (23)
- RIMS Kokyuroku (23)
- New Generation Comput. (22)
- J. Appl. Non-Class. Log. (22)
- Theory Comput. Syst. (22)
- J. UCS (21)
- Comput. Lang. Syst. Struct. (21)
- Stud. Log. (20)
- Int. J. Parallel Program. (20)
- Bull. EATCS (20)
- Autom. Remote Control (19)
- Commun. ACM (19)
- High.-Order Symb. Comput. (18)
- Theor. Inform. Appl. (18)
- J. Appl. Math. (18)
- BIT (17)
- Sci. Ann. Comput. Sci. (17)
- Real-Time Syst. (14)
- Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka (13)
- Camb. Tracts Theor. Comput. Sci. (13)
- Math. Comput. Sci. (13)
- Model. Anal. Inf. Sist. (13)
- Comput. Math. Appl. (12)
- Appl. Categ. Struct. (12)
- J. Artif. Intell. Res. (JAIR) (12)
- Formaliz. Math. (12)
- Zh. Vychisl. Mat. Mat. Fiz. (11)
- RAIRO, Inf. Théor. (11)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. (11)
- Elektron. Informationsverarbeitung Kybernetik (11)
- RAIRO, Inform. Théor. Appl. (11)
- Comput. Inform. (11)
- J. Formaliz. Reason. (11)
- Front. Comput. Sci. (11)
- ACM Comput. Surv. (10)
- Oper. Res. (10)
- ACM Trans. Model. Comput. Simul. (10)
- Int. J. Comput. Inform. Sci. (9)
- J. Inf. Process. (9)
- Math. Syst. Theory (9)
- Stud. Cercet. Mat. (9)
- Comput. Artif. Intell. (9)
- Algorithmica (9)
- Podstawy Sterowania (9)
- Stud. Univ. Babeș-Bolyai, Math. (9)
- U.S.S.R. Comput. Math. Math. Phys. (9)
- and 609 more Serials
all
top 5
Year of Publication
- 2024 (21)
- 2023 (193)
- 2022 (339)
- 2021 (442)
- 2020 (454)
- 2019 (482)
- 2018 (639)
- 2017 (567)
- 2016 (599)
- 2015 (646)
- 2014 (582)
- 2013 (644)
- 2012 (641)
- 2011 (618)
- 2010 (589)
- 2009 (672)
- 2008 (650)
- 2007 (700)
- 2006 (705)
- 2005 (814)
- 2004 (620)
- 2003 (551)
- 2002 (665)
- 2001 (560)
- 2000 (454)
- 1999 (331)
- 1998 (174)
- 1997 (215)
- 1996 (197)
- 1995 (194)
- 1994 (210)
- 1993 (193)
- 1992 (205)
- 1991 (255)
- 1990 (189)
- 1989 (199)
- 1988 (299)
- 1987 (276)
- 1986 (264)
- 1985 (239)
- 1984 (243)
- 1983 (246)
- 1982 (243)
- 1981 (237)
- 1980 (272)
- 1979 (280)
- 1978 (155)
- 1977 (47)
- 1976 (12)
- 1975 (9)
- 1974 (2)
- 1973 (1)
- 1972 (4)
- 1971 (5)
- 1970 (2)
- 1969 (1)
- 1968 (2)
- 1967 (1)
all
top 3
Main Field
- 68-XX (19,044)
- 03-XX (4,473)
- 93-XX (585)
- 91-XX (519)
- 00-XX (488)
- 94-XX (414)
- 90-XX (386)
- 18-XX (308)
- 65-XX (214)
- 60-XX (171)
- 05-XX (148)
- 06-XX (137)
- 92-XX (112)
- 08-XX (75)
- 62-XX (61)
- 81-XX (60)
- 34-XX (43)
- 11-XX (38)
- 54-XX (36)
- 20-XX (30)
- 37-XX (28)
- 01-XX (27)
- 52-XX (21)
- 13-XX (20)
- 15-XX (14)
- 16-XX (13)
- 12-XX (12)
- 55-XX (12)
- 14-XX (11)
- 35-XX (9)
- 41-XX (7)
- 28-XX (6)
- 47-XX (6)
- 49-XX (6)
- 76-XX (6)
- 82-XX (6)
- 97-XX (6)
- 74-XX (5)
- 78-XX (5)
- 86-XX (4)
- 33-XX (3)
- 45-XX (3)
- 46-XX (3)
- 51-XX (3)
- 57-XX (3)
- 22-XX (2)
- 39-XX (2)
- 40-XX (1)
- 43-XX (1)
- 44-XX (1)
- 53-XX (1)
- 58-XX (1)
- 70-XX (1)
- 80-XX (1)
- 83-XX (1)
all
top 3
Biographic Reference
- de Boer, Frank S. (4)
- de Roever, Willem-Paul (2)
- Pnueli, Amir (2)
- Bjørner, Dines (1)
- Buchberger, Bruno (1)
- Curry, Haskell Brooks (1)
- Degano, Pierpaolo (1)
- Dijkstra, Edsger Wybe (1)
- Futatsugi, Kokichi (1)
- Girard, Jean-Yves (1)
- Gordon, Michael J. C. (1)
- Hoare, Charles Antony Richard (1)
- Hoare, Tony (1)
- Jonsson, Bengt (1)
- Landin, Peter J. (1)
- Lanzarine, Elio (1)
- Larsen, Kim Guldstrand (1)
- Manna, Zohar (1)
- Meadows, Catherine A. (1)
- Meadows, Catherine Author Profile (1)
- Meseguer Guaita, José (1)
- Montanari, Ugo G. (1)
- Olderog, Ernst-Rüdiger (1)
- Shankar, Priti (1)
- Vogler, Walter (1)
- Wilhelm, Reinhard (1)
- Zhou, Chaochen (1)
all
top 3
Software
- SPIN (464)
- Coq (391)
- Uppaal (356)
- z3 (340)
- Isabelle/HOL (321)
- PRISM (311)
- Maude (233)
- PVS (220)
- NuSMV (208)
- GitHub (158)
- HyTech (157)
- Kronos (146)
- HOL (140)
- Isabelle (136)
- Haskell (131)
- CESAR (120)
- Z (118)
- Chaff (112)
- ML (105)
- SLAM (105)
- BLAST (85)
- Boogie (85)
- LTL2BA (80)
- Nuprl (80)
- Bandera (78)
- MONA (78)
- SIMPLIFY (77)
- ACL2 (76)
- JML (76)
- Java PathFinder (75)
- MiniSat (75)
- UNITY (74)
- CADP (73)
- MCMAS (73)
- Why3 (73)
- CUDD (71)
- ESC/Java (70)
- MOCHA (66)
- Spec# (66)
- CVC4 (64)
- PHAVer (64)
- CBMC (62)
- LOTOS (62)
- OCaml (62)
- Dafny (60)
- SMT-LIB (59)
- veriSoft (59)
- SpaceEx (56)
- Bebop (55)
- Yices (53)
- VeriFast (52)
- KRAKATOA (51)
- MRMC (51)
- ASTREE (49)
- SPOT (49)
- mCRL2 (48)
- Reluplex (47)
- CafeOBJ (46)
- Rodin (46)
- Archive Formal Proofs (44)
- Eiffel (44)
- AProVE (43)
- CPAchecker (43)
- KeYmaera (43)
- PPL (43)
- Automath (42)
- Storm (42)
- Esterel (41)
- Circus (40)
- Reo (40)
- OBJ3 (39)
- VCC (39)
- NQTHM (37)
- seL4 (37)
- AVISPA (36)
- CASL (36)
- DiVinE (36)
- HOL Light (36)
- KeY (36)
- Matlab (36)
- ProB (35)
- Caduceus (34)
- FDR2 (34)
- FOCI (34)
- LCF (34)
- LUSTRE (34)
- nuXmv (34)
- MathSAT5 (33)
- SATO (33)
- Smallfoot (33)
- Ada95 (32)
- DART (32)
- MAGIC (32)
- SatAbs (32)
- VerICS (32)
- ALGOL 60 (31)
- SeaHorn (31)
- TREX (31)
- cvc3 (31)
- BerkMin (30)
- and 2,885 more Software Packages