先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Tools and Algorithms for the Construction and Analysis of Systems
会议名29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023)
中译名《第二十九届国际系统结构与分析的工具及算法会议，卷2》
会议日期April 22-27, 2023
会议地点Paris, France
出版年2023
馆藏号349240


题名作者出版年
EVA: a Tool for the Compositional Verification of AUTOSAR ModelsAlessandro Cimatti; Luca Cristoforetti; Alberto Griggio; Stefano Tonetta; Sara Corfini; Marco Di Natale; Florian Barrau2023
WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal VerificationWenji Fang; Hongce Zhang2023
Multiparty Session Typing in Java, DeductivelyJelle Bouma; Stijn de Gouw; Sung-Shik Jongmans2023
PyLTA: A Verification Tool for Parameterized Distributed AlgorithmsBastien Thomas; Ocan Sankur2023
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 FormatShengping Xiao; Chengyu Zhang; Jianwen Li; Geguang Pu2023
Eclipse ESCET: The Eclipse Supervisory Control Engineering ToolkitW. J. Fokkink; M. A. Goorden; D. Hendriks; D. A. van Beek; A. T. Hofkamp; F. F. H. Reijnen; L. F. P. Etman; L. Moormann; J. M. van de Mortel-Fronczak; M. A. Reniers; J. E. Rooda; L. J. van der Sanden; R. R. H. Schiffelers; S. B. Thuijsman; J. J. Verbakel; J. A. Vogel2023
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial OptimizationJoao Cortes; Ines Lynce; Vasco Manquinho2023
Verified Reductions for OptimizationAlexander Bentkamp; Ramon Fernandez Mir; Jeremy Avigad2023
Specifying and Verifying Higher-order Rust IteratorsXavier Denis; Jacques-Henri Jourdan2023
Extending a High-Performance Prover to Higher-Order LogicPetar Vukmirovic; Jasmin Blanchette; Stephan Schulz2023
The WhyRel Prototype for Modular Relational Verification of Pointer ProgramsRamana Nagasamudram; Anindya Banerjee; David A. Naumann2023
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C TranslatorDirk Beyer; Po-Chun Chien; Nian-Ze Lee2023
CoPTIC: Constraint Programming Translated Into CMartin Mariusz Lester2023
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL RealizabilityMichael Cadilhac; Guillermo A. Perez2023
Computing Adequately Permissive Assumptions for SynthesisAshwani Anand; Kaushik Mallik; Satya Prakash Nayak; Anne-Kathrin Schmuck2023
Verification-guided Programmatic Controller SynthesisYuning Wang; He Zhu2023
Taming Large Bounds in Synthesis from Bounded-Liveness SpecificationsPhilippe Heim; Rayna Dimitrova2023
Lockstep Composition for Unbalanced LoopsAmeer Hamza; Grigory Fedyukovich2023
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable VerificationNouraldin Jaber; Christopher Wagner; Swen Jacobs; Milind Kulkarni; Roopsha Samanta2023
LTL Reactive Synthesis with a Few HintsMrudula Balachander; Emmanuel Filiot; Jean-Francois Raskin2023
123



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024