Formal Aspects of Component Software
portes grátis
Formal Aspects of Component Software
20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
Sun, Meng; Marmsoler, Diego
Springer International Publishing AG
09/2024
147
Mole
9783031712609
15 a 20 dias
Descrição não disponível.
Verification and testing: Enabling behaviour tree verification via a translation to BIP.- Verified fault handling for modern board management controllers.- Testing compositionality. Formal models: Correct pattern-based development through refinements and weakest preconditions calculus.- Coq formalization of orientation representation: matrix, Euler angles, axis-angle and quaternion.- Reactive graphs in action. Security and blockchain: Extracting formal smart-contract specifications from natural language with LLMs.- How do asynchronous communication models impact the composability of information flow security?
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Formal Methods;Verification Techniques;Probabilistic Reasoning;Software Design;(Co-)simulation;Software Engineering;Composition;Computer Programming;Component Interaction;Computer Systems;Object-orientated Programming;Software Variability;Architecting;Computer Networks;Databases;Engineering;Linguistics;Mathematics;Signal Processing
Verification and testing: Enabling behaviour tree verification via a translation to BIP.- Verified fault handling for modern board management controllers.- Testing compositionality. Formal models: Correct pattern-based development through refinements and weakest preconditions calculus.- Coq formalization of orientation representation: matrix, Euler angles, axis-angle and quaternion.- Reactive graphs in action. Security and blockchain: Extracting formal smart-contract specifications from natural language with LLMs.- How do asynchronous communication models impact the composability of information flow security?
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Formal Methods;Verification Techniques;Probabilistic Reasoning;Software Design;(Co-)simulation;Software Engineering;Composition;Computer Programming;Component Interaction;Computer Systems;Object-orientated Programming;Software Variability;Architecting;Computer Networks;Databases;Engineering;Linguistics;Mathematics;Signal Processing