Search Results - "arithmetic"
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 26
- Mathematics & science 17
- Computer science 16
- Research & information: general 15
- Algebra 14
- Artificial intelligence 13
- Software Engineering 10
- History of engineering & technology 8
- Software engineering 8
- Artificial Intelligence 7
- Theory of Computation 7
- Psychology 6
- Computer Engineering and Networks 5
- Computer engineering 5
- Computer networks 5
- Mathematics Education 5
- Study and teaching 5
- Teachers 5
- Teaching and Teacher Education 5
- Training of 5
- Educational: Mathematics & numeracy 4
- Formal Languages and Automata Theory 4
- Machine theory 4
- Philosophy 4
- Applied mathematics 3
- Computer Modelling 3
- Computer Science Logic and Foundations of Programming 3
- Computer networking & communications 3
- Computer simulation 3
- Computers 3
-
461
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata
Electronic eBook -
462
-
463
-
464
-
465
-
466
-
467
-
468
-
469
-
470
Advances in Complex Analysis and Applications
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
471
-
472
-
473
-
474
-
475
-
476
-
477
-
478
-
479
-
480