Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

QuAK: Quantitative Automata Kit.- Automating Software Re-Engineering: Introduction to the ISoLA 2024 Track.- On using large language models pre-trained on digital twins as oracles to foster the use of formal methods in practice.- Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned.- (Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap.- Threats to Instrument Validity within "in Silico" Research: Software Engineering to the Rescue.- Automated Clone Elimination in Python Tests.- Towards Automated Security Hardening using Timed Path Conditions in Shared Bus Systems.- Towards a More Sustainable Re-Engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors.- X-by-Construction Meets AI.- Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI.- Logic-Based Explainability: Past, Present & Future.- Towards Hybrid-AI in Imaging using VoxLogicA.- Towards AI-assisted Correctness-by-Construction Software Development.- Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification.- Traceability and Accountability by Construction.- Synthesis from Infinite-State Generalized Reactivity(1) Specifications.- On Threat Model Repair.- Towards Formal Design of FDIR Components with AI.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Teoria matemática da computação
• Hardware do computador
• Engenharia do software
• Os sistemas especialistas / sistemas baseados em conhecimento
• Análise e projecto de sistemas

architecture verification and validation;artificial intelligence;computer programming;distributed computer systems;embedded systems;formal languages;formal logic;formal methods;formal verifications;object-oriented programming;software architecture;verification and validation