Formal Methods: Foundations and Applications
portes grátis
Formal Methods: Foundations and Applications
27th Brazilian Symposium, SBMF 2024, Vitoria, Brazil, December 4-6, 2024, Proceedings
C. Nogueira, Sidney; Teodorov, Ciprian
Springer International Publishing AG
01/2025
200
Mole
9783031781155
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
.- Formal Analysis and Verification in Temporal and Symbolic Systems.
.- On the Existence of Unions of Timed Scenarios.
.- SMTQuery: Analysing SMT-LIB String Benchmarks.
.- Autonomous Vehicles Path Planning under Temporal Logic Specifications.
.- Formal Semantics and Verification of UML Models.
.- A CSP semantics for UML state machines aiming at hidden formal methods verification.
.- Verifying integrated designs of UML state machines and activities using CSP.
.- An integrated framework for analysing, simulating and testing UML models.
.- Formal Verification and Proof Techniques in Algorithms and Logics.
.- Computer-Assisted Proof of Brzozowski's Algorithm.
.- Soundness-Preserving Fusion of Modal Logics in Coq.
.- Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.
.- Formal Methods for Security and Privacy.
.- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.
.- Formal Privacy Analyses for Open Banking.
.- Trusted Deployer: A Tool for Verification, Safe Creation and Upgrades of Ethereum Smart Contracts.
.- On the Existence of Unions of Timed Scenarios.
.- SMTQuery: Analysing SMT-LIB String Benchmarks.
.- Autonomous Vehicles Path Planning under Temporal Logic Specifications.
.- Formal Semantics and Verification of UML Models.
.- A CSP semantics for UML state machines aiming at hidden formal methods verification.
.- Verifying integrated designs of UML state machines and activities using CSP.
.- An integrated framework for analysing, simulating and testing UML models.
.- Formal Verification and Proof Techniques in Algorithms and Logics.
.- Computer-Assisted Proof of Brzozowski's Algorithm.
.- Soundness-Preserving Fusion of Modal Logics in Coq.
.- Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.
.- Formal Methods for Security and Privacy.
.- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.
.- Formal Privacy Analyses for Open Banking.
.- Trusted Deployer: A Tool for Verification, Safe Creation and Upgrades of Ethereum Smart Contracts.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Formal Verification;Coq Proof Assistant;Smart Contracts;nearest neighbors classification;machine learning;Open Banking;Privacy-Risk Analysis;Quantitative Information Flow;UML;UML state machines;UML activities;Controlled Natural Language;Linear Temporal Logic;Model Checking;path planning;signal temporal logics;trajectory optimization;Modal Logic;Ethereum
.- Formal Analysis and Verification in Temporal and Symbolic Systems.
.- On the Existence of Unions of Timed Scenarios.
.- SMTQuery: Analysing SMT-LIB String Benchmarks.
.- Autonomous Vehicles Path Planning under Temporal Logic Specifications.
.- Formal Semantics and Verification of UML Models.
.- A CSP semantics for UML state machines aiming at hidden formal methods verification.
.- Verifying integrated designs of UML state machines and activities using CSP.
.- An integrated framework for analysing, simulating and testing UML models.
.- Formal Verification and Proof Techniques in Algorithms and Logics.
.- Computer-Assisted Proof of Brzozowski's Algorithm.
.- Soundness-Preserving Fusion of Modal Logics in Coq.
.- Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.
.- Formal Methods for Security and Privacy.
.- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.
.- Formal Privacy Analyses for Open Banking.
.- Trusted Deployer: A Tool for Verification, Safe Creation and Upgrades of Ethereum Smart Contracts.
.- On the Existence of Unions of Timed Scenarios.
.- SMTQuery: Analysing SMT-LIB String Benchmarks.
.- Autonomous Vehicles Path Planning under Temporal Logic Specifications.
.- Formal Semantics and Verification of UML Models.
.- A CSP semantics for UML state machines aiming at hidden formal methods verification.
.- Verifying integrated designs of UML state machines and activities using CSP.
.- An integrated framework for analysing, simulating and testing UML models.
.- Formal Verification and Proof Techniques in Algorithms and Logics.
.- Computer-Assisted Proof of Brzozowski's Algorithm.
.- Soundness-Preserving Fusion of Modal Logics in Coq.
.- Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm.
.- Formal Methods for Security and Privacy.
.- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.
.- Formal Privacy Analyses for Open Banking.
.- Trusted Deployer: A Tool for Verification, Safe Creation and Upgrades of Ethereum Smart Contracts.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Formal Verification;Coq Proof Assistant;Smart Contracts;nearest neighbors classification;machine learning;Open Banking;Privacy-Risk Analysis;Quantitative Information Flow;UML;UML state machines;UML activities;Controlled Natural Language;Linear Temporal Logic;Model Checking;path planning;signal temporal logics;trajectory optimization;Modal Logic;Ethereum
