Výsledky vyhledávání - "software verification"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
- Software Engineering 34
- Artificial intelligence 29
- Computer science 18
- Computer networking & communications 14
- Software engineering 10
- Algorithms & data structures 8
- Computer modelling & simulation 8
- Computer programming / software development 8
- Mathematical theory of computation 8
- Artificial Intelligence 7
- Computer Engineering and Networks 6
- Computer engineering 6
- Computer networks 6
- Theory of Computation 6
- Computers 5
- Computer Science Logic and Foundations of Programming 4
- Computer hardware 4
- Computer Hardware 3
- Computer Modelling 3
- Computer simulation 3
- Computing Milieux 2
- Electronic digital computers 2
- Evaluation 2
- Formal Languages and Automata Theory 2
- Information technology: general issues 2
- Information theory 2
- Machine theory 2
- Programming & scripting languages: general 2
- System Performance and Evaluation 2
- Systems analysis & design 2
-
21
-
22
-
23
Mathematics in Software Reliability and Quality Assurance
Vydáno 2022DOAB: download the publication
DOAB: description of the publication
Elektronický zdroj Kapitola -
24
-
25
-
26
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Vydáno 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronický zdroj Kapitola -
27
-
28
-
29
-
30
-
31
-
32
-
33
-
34
-
35
-
36
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Vydáno 2018Obsah: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata
Elektronický zdroj E-kniha -
37
-
38
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Vydáno 2022Link to Metadata
Elektronický zdroj E-kniha -
39
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Vydáno 2022Link to Metadata
Elektronický zdroj E-kniha -
40