Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
info(at)avldigital.remove-this.de
Deutsch English
Letzte Suchanfragen

Ergebnisse für *

Zeige Ergebnisse 1 bis 4 von 4.

  1. Formal methods
    Part 1
    Beteiligt: Platzer, André (HerausgeberIn); Rozier, Kristin Yvonne (HerausgeberIn); Pradella, Matteo (HerausgeberIn); Rossi, Matteo (HerausgeberIn)
    Erschienen: [2025]; © 2025
    Verlag:  Springer, Cham

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(14933)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
  2. Formal methods
    Part 2
    Beteiligt: Platzer, André (HerausgeberIn); Rozier, Kristin Yvonne (HerausgeberIn); Pradella, Matteo (HerausgeberIn); Rossi, Matteo (HerausgeberIn)
    Erschienen: [2025]; © 2025
    Verlag:  Springer, Cham

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(14934)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
  3. Formal Methods: Foundations and Applications
    27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
    Beteiligt: C. Nogueira, Sidney (HerausgeberIn); Teodorov, Ciprian (HerausgeberIn)
    Erschienen: 2025
    Verlag:  Springer International Publishing AG, Cham

    This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024. The 8 full papers and 4 short papers included in this book... mehr

     

    This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: C. Nogueira, Sidney (HerausgeberIn); Teodorov, Ciprian (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783031781155
    Schriftenreihe: Lecture Notes in Computer Science
    Schlagworte: Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Architecture; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Networking / General; COMPUTERS / Programming / Software Development; Expert systems / knowledge-based systems; Künstliche Intelligenz; Mathematical theory of computation; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Network hardware; Netzwerk-Hardware; Software Engineering; Software Engineering; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme
    Umfang: 200 Seiten
    Bemerkung(en):

    .- 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.
  4. Formal Methods and Software Engineering
    25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
    Beteiligt: Liu, Shaoying (HerausgeberIn); Mery, Dominique (HerausgeberIn); Ogata, Kazuhiro (HerausgeberIn); Sun, Meng (HerausgeberIn)
    Erschienen: 2025
    Verlag:  Springer Nature Switzerland AG, Cham

    This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50... mehr

     

    This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Liu, Shaoying (HerausgeberIn); Mery, Dominique (HerausgeberIn); Ogata, Kazuhiro (HerausgeberIn); Sun, Meng (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9789819606160
    Schriftenreihe: Lecture Notes in Computer Science
    Schlagworte: Angewandte Informatik; COMPUTERS / Compilers; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Enterprise Applications; COMPUTERS / Programming / General; COMPUTERS / Programming / Software Development; Compiler und Übersetzer; Compilers; Computer programming / software development; Computerprogrammierung und Softwareentwicklung; Information technology: general issues; Mathematical theory of computation; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Software Engineering; Software Engineering; Theoretische Informatik
    Umfang: 410 Seiten
    Bemerkung(en):

    .- NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. .- Repairing Event-B Models through Quantifier Elimination. .- Tuning Trains Speed in Railway Scheduling. .- The Bright Side of Timed Opacity. .- Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. .- Efficient State Estimation of Discrete-Timed Automata. .- LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. .- Quantitative Symbolic Robustness Verification for Quantized Neural Networks. .- Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. .- Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. .- Deciding the synthesis problem for hybrid games through bisimulation. .- Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. .- Differential Property Monitoring for Backdoor Detection. .- MemSpate: Memory Usage Protocol Guided Fuzzing. .- The Continuum Hypothesis Implies the Existence of Non-Principal Arithmetical Ultrafilters - A Coq Formal Verification. .- Observability of Boolean Control Networks: New Definition and Verification Algorithm. .- Formalizing Potential Flows using the HOL Light Theorem Prover. .- On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. .- Efficient SMT-Based Model Checking for HyperTWTL. .- A Tableau-based Approach to Model Checking Linear Temporal Properties. .- Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. .- Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase.