检索结果-内蒙古大学图书馆

26th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2020, held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2020

26th International Conference on Tools and Algorithms for th...

引用

26th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2020, held as part of the European Joint conferences on theory and Practice of Software, ETAPS 2020

ISBN: (纸本)9783030452360

the proceedings contain 60 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems. the topics include: What’s Decidable About Program Verification Modulo Axioms?;formalized Proofs of the Infinity and Normal Form Predicates in the First-Order theory of Rewriting;fold/Unfold Transformations for Fixpoint Logic;Verifying OpenJDK’s LinkedList using KeY;analysing installation scenarios of Debian packages;endicheck: Dynamic analysis for Detecting Endianness Bugs;describing and Simulating Concurrent Quantum systems;EMTST: Engineering the Meta-theory of Session Types;solving Mean-Payoff Games via Quasi Dominions;partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation systems;verifying Quantum Communication Protocols with Ground Bisimulation;polynomial Identification of ω-Automata;Advances in Automatic Software Verification: SV-COMP 2020;2LS: Heap analysis and Memory Safety: (Competition Contribution);COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution);dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution);veriAbs: Verification by Abstraction and Test Generation (Competition Contribution);GACAL: Conjecture-Based Verification: (Competition Contribution);Java Ranger at SV-COMP 2020 (Competition Contribution);JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution);map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution);deciding the Bisimilarity of Context-Free Session Types;PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution);symbiotic 7: Integration of Predator and More: (Competition Contribution);ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution);sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities;how Many Bits Does it Take to Quantize Your Neur

关键词：

来源：评论

学校读者我要写书评

暂无评论

25th international conference on tools and algorithms for the construction and analysis of systems conference series, TACAS 2019 held as part of the 22nd European Joint conferences on theory and Practice of Software, ETAPS 2019

25th International Conference on Tools and Algorithms for th...

引用

25th international conference on tools and algorithms for the construction and analysis of systems conference series, TACAS 2019 held as part of the 22nd European Joint conferences on theory and Practice of Software, ETAPS 2019

ISBN: (纸本)9783030174644

the proceedings contain 22 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems conference series. the topics include: Shepherding hordes of markov chains;optimal time-bounded reachability analysis for concurrent systems;minimal-time synthesis for parametric timed automata;Environmentally-Friendly GR(1) Synthesis;stocHy: Automated Verification and Synthesis of Stochastic Processes;synthesis of symbolic controllers: A parallelized and sparsity-aware approach;iRank: A variable order metric for deds subject to linear invariants;binary decision diagrams with edge-specified reductions;effective entailment checking for separation logic with inductive definitions;Digital Bifurcation analysis of TCP Dynamics;the mCRL2 toolset for Analysing Concurrent systems: Improvements in Expressivity and Usability;verifying safety of synchronous fault-tolerant algorithms by bounded model checking;measuring masking fault-tolerance;PhASAR: An Inter-procedural Static analysis Framework for C/C++;automatic analysis of consistency properties of distributed transaction systems in maude;multi-core On-the-Fly Saturation;Specification and efficient monitoring beyond STL;VyPR2: A framework for runtime verification of python web services;constraint-Based Monitoring of Hyperproperties;tail probabilities for randomized program runtimes via martingales for higher moments;computing the expected execution time of probabilistic workflow nets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

25th International Conference on Tools and Algorithms for th...

引用

ISBN: (纸本)9783030175016

the proceedings contain 22 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems conference series. the topics include: the 2019 Comparison of tools for the analysis of Quantitative Formal Models: (QComp 2019 Competition Report);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;TOOLympics 2019: An Overview of Competitions in Formal Methods;the Termination and Complexity Competition;international Competition on Software Testing (Test-Comp);verifythis – Verification Competition with a Human Factor;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);jayHorn: A Java Model Checker: (Competition Contribution);JBMC: Bounded Model Checking for Java Bytecode: (Competition Contribution);Java Pathfinder at SV-COMP 2019 (Competition Contribution);PeSCo: Predicting Sequential Combinations of Verifiers: (Competition Contribution);confluence Competition 2019;pinaka: Symbolic Execution Meets Incremental Solving: (Competition Contribution);Symbolic Pathfinder for SV-COMP: (Competition Contribution);veriFuzz: Program Aware Fuzzing: (Competition Contribution);ETAPS Foreword;TACAS Preface;preface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

25th International Conference on Tools and Algorithms for th...

引用

ISBN: (纸本)9783030174613

the proceedings contain 22 papers. the special focus in this conference is on tools and algorithms for the construction and analysis of systems conference series. the topics include: Incremental analysis of evolving alloy models;extending a brainiac prover to lambda-free higher-order logic;LCV: A verification tool for linear controller software;semantic fault localization and suspiciousness ranking;computing coupled similarity;reachability analysis for termination and confluence of rewriting;voxlogica: A spatial model checker for declarative image analysis;on reachability in parameterized phaser programs;abstract dependency graphs and their application to model checking;nonreach – a tool for nonreachability analysis;Parallel SAT simplification on GPU architectures;the quantitative verification benchmark set;ilang: a modeling and verification platform for SoCs using instruction-level abstractions;metacsl: specification and verification of high-level properties;roll 1.0: ω -Regular language learning library;symbolic regex matcher;compass 3.0;debugging of behavioural models with clear;omega-regular objectives in model-free reinforcement learning;verifiably safe off-model reinforcement learning;encoding redundancy for satisfaction-driven clause learning;WAPS: Weighted and Projected Sampling;building better bit-blasting for floating-point problems;the axiom profiler: Understanding and debugging SMT quantifier instantiations;on the empirical time complexity of scale-free 3-sat at the phase transition;Modular and efficient divide-and-conquer SAT solver on top of the painless framework;quantitative verification of masked arithmetic programs against side-channel attacks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021

引用

international JOURNAL ON SOFTWARE tools FOR TECHNOLOGY TRANSFER 2023年第2期25卷 129-131页

作者： Jensen, Peter Gjol Neele, thomas Aalborg Univ Aalborg Denmark Eindhoven Univ Technol Eindhoven Netherlands

this special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27th international conference on tools and algorithms for the construction and analysis of systems. the issue is dedicated to the realization of algorithms in tools and the studies of the application of these tools for analysing hard- and software systems.

关键词： Software verification Hardware verification theorem proving Static analysis Runtime verification Neural networks SAT and SMT solving Tool environments and tool architectures

来源：评论

学校读者我要写书评

暂无评论

Distributed Robust Continuous-Time Optimization algorithms for Time-Varying Constrained Cost Functions 12

Distributed Robust Continuous-Time Optimization Algorithms f...

引用

12th international conference on Control Mechatronics and Automation

作者： Ebrahimi, Zeinab Deghat, Mohammad Univ New South Wales Sch Mech & Mfg Engn Sydney NSW Australia

ISBN: (纸本)9798331517519;9798331517526

this paper presents a distributed continuous-time optimization framework aimed at overcoming the challenges posed by time-varying cost functions and constraints in multi-agent systems, particularly those subject to disturbances. By incorporating tools such as log-barrier penalty functions to address inequality constraints, an integral sliding mode control for disturbance mitigation is proposed. the algorithm ensures asymptotic tracking of the optimal solution, achieving a tracking error of zero. the convergence of the introduced algorithms is demonstrated through Lyapunov analysis and nonsmooth techniques. Furthermore, the framework's effectiveness is validated through numerical simulations considering two scenarios for the communication networks.

关键词： Distributed time-varying optimization multi-agent systems disturbances time-varying constraints sliding mode control

来源：评论

学校读者我要写书评

暂无评论

Competition on Software Verification and Witness Validation: SV-COMP 2023 29th

Competition on Software Verification and Witness Validation:...

引用

29th international conference on tools and algorithms for the construction and analysis of systems (TACAS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031308192;9783031308208

the 12th edition of the Competition on Software Verification (SV-COMP 2023) is again the largest overview of tools for software verification, evaluating 52 verification systems from 34 teams from 10 countries. Besides providing an overview of the state of the art in automatic software verification, the goal of the competition is to establish standards, provide a platform for exchange to developers of such tools, educate PhD students on reproducibility approaches and benchmarking, and provide computing resources to developers that do not have access to compute clusters. the competition consisted of 23 805 verification tasks for C programs and 586 verification tasks for Java programs. the specifications include reachability, memory safety, overflows, and termination. this year, the competition introduced a new competition track on witness validation, where validators for verification witnesses are evaluated with respect to their quality.

关键词： Formal Verification Program analysis Competition Software Verification Verification Tasks Benchmark C Language Java Language SV-Benchmarks BENCHEXEC CoVERITEAM

来源：评论

学校读者我要写书评

暂无评论

State of the Art in Software Verification and Witness Validation: SV-COMP 2024 30th

State of the Art in Software Verification and Witness Valida...

引用

30th international conference on tools and algorithms for the construction and analysis of systems (TACAS) Held as Part of the 27th European Joint conferences on theory and Practice of Software (ETAPS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031572555;9783031572562

the 13th edition of the Competition on Software Verification (SV-COMP 2024) was the largest competition of its kind so far: A total of 76 tools for verification and witness validation were compared. the competition evaluated 59 verification systems and 17 validation systems from 34 teams from 12 countries. this yields a good overview of the state of the art in tools for software verification. the competition was executed on a benchmark set with 30 300 verification tasks for C programs and 587 verification tasks for Java programs. the specifications again included reachability, memory safety, overflows, and termination. this year was the second time that the competition had an extra competition track on witness validation. We introduced a new witness format 2.0, and a new scoring schema for the validation track. All meta data about the verification and validation tools are available in the FM-tools repository.

关键词： Formal Verification Program analysis Competition Software Verification Verification Tasks Benchmark Specification Java Language C Language SV-COMP SV-Benchmarks BENCHEXEC COVERITEAM

来源：评论

学校读者我要写书评

暂无评论

tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019

引用

international JOURNAL ON SOFTWARE tools FOR TECHNOLOGY TRANSFER 2022年第1期24卷 29-31页

作者： Vojnar, Tomas Zhang, Lijun Brno Univ Technol Fac Informat Technol Bozetechova 2 Brno 61266 Czech Republic Chinese Acad Sci Inst Software State Key Lab Comp Sci South Fourth St 4 Beijing 100190 Peoples R China

Automated techniques and tools for the construction and analysis of systems are inevitable to manage the complexity of the current systems. Such techniques and tools are the subject of interest of the international conference on tools and algorithms for the construction and analysis of systems-TACAS. this special issue of Software tools for Technology Transfer presents extended versions of five selected papers from the 25th edition of TACAS that took place in 2019. All of the papers included into this special issue aim at various aspects of automated design and formal verification and hence contribute to development of more reliable computer systems.

关键词： Bounded model checking Fault-tolerant distributed systems Automata Model checking Abstraction Dependency graphs theorem proving Higher-order logic Binary decision diagrams SMT solving Interpolation Linear algebra

来源：评论

学校读者我要写书评

暂无评论

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains 30th

Accurately Computing Expected Visiting Times and Stationary ...

引用

作者： Mertens, Hannah Katoen, Joost-Pieter Quatmann, Tim Winkler, Tobias Rhein Westfal TH Aachen Aachen Germany

ISBN: (纸本)9783031572487;9783031572494

We study the accurate and efficient computation of the expected number of times each state is visited in discrete- and continuous-time Markov chains. To obtain sound accuracy guarantees efficiently, we lift interval iteration and topological approaches known from the computation of reachability probabilities and expected rewards. We further study applications of expected visiting times, including the sound computation of the stationary distribution and expected rewards conditioned on reaching multiple goal states. the implementation of our methods in the probabilistic model checker Storm scales to large systems with millions of states. Our experiments on the quantitative verification benchmark set show that the computation of stationary distributions via expected visiting times consistently outperforms existing approaches - sometimes by several orders of magnitude.

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：