Rezultati pretrage - "formal method"
Predložene teme unutar tvoje pretrage.
Predložene teme unutar tvoje pretrage.
- Software Engineering 23
- Computer science 22
- Artificial intelligence 21
- Systems analysis & design 12
- Mathematical theory of computation 10
- Algorithms & data structures 8
- Computer architecture & logic design 8
- Computer networking & communications 8
- Computer modelling & simulation 6
- Computer programming / software development 6
- Software testing & verification 6
- Software engineering 5
- Computer Engineering and Networks 4
- Computer engineering 4
- Computer networks 4
- Artificial Intelligence 3
- Philosophy 3
- Coding theory & cryptology 2
- Computer Modelling 2
- Computer simulation 2
- Computing & information technology 2
- Electronic data processing 2
- Expert systems / knowledge-based systems 2
- History of engineering & technology 2
- Humanities 2
- IT Operations 2
- Information technology industries 2
- Literary studies: fiction, novelists & prose writers 2
- Literary theory 2
- Management 2
-
41
-
42
The Huawei and Snowden Questions Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? /
Izdano 2018Sadržaj: “…-- 4 Development of ICT Systems -- 5 Theoretical Foundation -- 6 Reverse Engineering of Code -- 7 Static Detection of Malware -- 8 Dynamic Detection Methods -- 9 Formal Methods -- 10 Software Quality and Quality Management -- 11 Containment of Untrusted Modules -- 12 Summary and Way Forward.…”
Link to Metadata
Elektronički e-knjiga -
43
-
44
-
45
The Essence of Software Engineering
Izdano 2018Sadržaj: “…1 The Leading Role of Software and Systems Architecture in the Age of Digitization -- 2 Formal Methods and Agile Development: Towards a Happy Marriage -- 3 Escaping Method Prison - On the Road to Real Software Engineering -- 4 What is software?…”
Link to Metadata
Elektronički e-knjiga -
46
Introduction to Logic and Critical Thinking
Izdano 2016Sadržaj: “…-- 1.2 Identifying arguments -- 1.3 Arguments vs. explanations -- 1.4 More complex argument structures -- 1.5 Using your own paraphrases of premises and conclusions to reconstruct arguments in standard form -- 1.6 Validity -- 1.7 Soundness -- 1.8 Deductive vs. inductive arguments -- 1.9 Arguments with missing premises -- 1.10 Assuring, guarding, and discounting -- 1.11 Evaluative language -- 1.12 Evaluating a real-life argument -- Chapter 2: Formal methods of evaluating arguments -- 2.1 What is a formal method of evaluation and why do we need them? …”
Access online version
Elektronički e-knjiga -
47
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Izdano 2022Sadržaj: “…A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs -- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.…”
Link to Metadata
Elektronički e-knjiga -
48
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Izdano 2022Sadržaj: “…A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods for Probabilistic Programs Data-Driven Invariant Learning for Probabilistic Programs -- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.…”
Link to Metadata
Elektronički e-knjiga -
49
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Izdano 2019Sadržaj: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata
Elektronički e-knjiga -
50
-
51
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Izdano 2019Sadržaj: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Elektronički e-knjiga -
52
-
53
-
54
-
55
-
56
-
57
-
58
-
59
-
60