Software Engineering and Formal Methods
portes grátis
Software Engineering and Formal Methods
21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Ferreira, Carla; Willemse, Tim A. C.
Springer International Publishing AG
10/2023
378
Mole
Inglês
9783031471148
15 a 20 dias
Descrição não disponível.
Refinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;formal languages;formal logic;model checking;neural networks;parallel processing systems;programming languages;software architecture;software design;software engineering;software quality;verification;verification and validation
Refinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;computer programming;computer systems;distributed computer systems;distributed systems;embedded systems;formal languages;formal logic;model checking;neural networks;parallel processing systems;programming languages;software architecture;software design;software engineering;software quality;verification;verification and validation
