Search Results - regular script
Suggested Topics within your search.
Suggested Topics within your search.
- Programming & scripting languages: general 10
- Computer programming / software development 4
- Artificial intelligence 3
- Computer science 3
- Data mining 3
- Medical genetics 3
- Advertising & society 2
- Algorithms & data structures 2
- Biology, life sciences 2
- Biomedical engineering 2
- Cellular biology (cytology) 2
- Computer Science 2
- Computer hardware 2
- Computer networking & communications 2
- Databases 2
- Discrete mathematics 2
- Life sciences: general issues 2
- Literary studies: classical, early & medieval 2
- Literature: history & criticism 2
- Mathematical foundations 2
- Network hardware 2
- Oncology 2
- Software Engineering 2
- Software engineering 2
- Theatre studies 2
- Artificial Intelligence 1
- Bioinformatics 1
- Biological Techniques 1
- Biology 1
- Biotechnology 1
-
321
-
322
-
323
-
324
-
325
-
326
-
327
-
328
-
329
-
330
-
331
-
332
-
333
-
334
-
335
-
336
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata
Electronic eBook -
337
-
338
-
339
-
340