Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
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...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham
Springer Nature
2025
Springer |
| Ausgabe: | 1 |
| Schriftenreihe: | Lecture Notes in Computer Science |
| Schlagworte: | |
| ISBN: | 3031711769, 9783031711770, 3031711777, 9783031711763 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Pradella, Matteo Rozier, Kristin Yvonne Rossi, Matteo Platzer, Andre |
| Author_xml | – sequence: 1 fullname: Platzer, Andre – sequence: 2 fullname: Rozier, Kristin Yvonne – sequence: 3 fullname: Pradella, Matteo – sequence: 4 fullname: Rossi, Matteo |
| BookMark | eNpNj7tPwzAQxo14CFLKjsTAyGLw-XXxwABVC0hFLIjVuqQORKRxccrAf49LkWC676f7vnsUbK-PfWDsFMQlCIFXDkuuuFDAEQCRix1WqIw_hLt_YN0BK0BbJUow0h6y8TC0lTBYKum0PGIns5iW1J0_hvVbXAzHbL-hbgjj3zpiL7Pp8-Sez5_uHiY3c07gEDQnqevGOHRQaSJT1w6VqZyrLQWwZVNqkZ2OpETISusm6Aob1OBsCEhqxC62g1cpfnyGYe1DFeN7Hfp1os5Pbyf5AYkaIVuvt9ZIq9D7VWqXlL58pNZ3bZW2etOJ6dVL4Y0QHqQ16J2SxuT82f_8ItJm0-DzVYhCfQOOYF12 |
| ContentType | eBook |
| DBID | V1H A7I |
| DOI | 10.1007/978-3-031-71177-0 |
| DatabaseName | DOAB: Directory of Open Access Books OAPEN |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: V1H name: DOAB: Directory of Open Access Books url: https://directory.doabooks.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3031711777 9783031711770 |
| Edition | 1 |
| Editor | Pradella, Matteo Rozier, Kristin Yvonne Rossi, Matteo Platzer, Andre |
| Editor_xml | – sequence: 1 fullname: Platzer, Andre – sequence: 2 fullname: Rozier, Kristin Yvonne – sequence: 3 fullname: Pradella, Matteo – sequence: 4 fullname: Rossi, Matteo |
| ExternalDocumentID | EBC31727471 oai_library_oapen_org_20_500_12657_93255 144770 |
| GroupedDBID | ALMA_UNASSIGNED_HOLDINGS CZZ EIXGO V1H A7I |
| ID | FETCH-LOGICAL-a19714-a24cf59791b4aa5cc9735b99c6ae168f840a199a22710a144fe4b7f74196ee7a3 |
| IEDL.DBID | A7I |
| ISBN | 3031711769 9783031711770 3031711777 9783031711763 |
| IngestDate | Mon Aug 11 05:55:50 EDT 2025 Wed Dec 10 14:57:38 EST 2025 Tue Nov 04 05:36:53 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA76.758 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a19714-a24cf59791b4aa5cc9735b99c6ae168f840a199a22710a144fe4b7f74196ee7a3 |
| OCLC | 1463081526 |
| OpenAccessLink | https://library.oapen.org/handle/20.500.12657/93255 |
| PQID | EBC31727471 |
| PageCount | 652 |
| ParticipantIDs | proquest_ebookcentral_EBC31727471 oapen_primary_oai_library_oapen_org_20_500_12657_93255 oapen_doabooks_144770 |
| PublicationCentury | 2000 |
| PublicationDate | 2025 2024 |
| PublicationDateYYYYMMDD | 2025-01-01 2024-01-01 |
| PublicationDate_xml | – year: 2025 text: 2025 |
| PublicationDecade | 2020 |
| PublicationPlace | Cham |
| PublicationPlace_xml | – name: Cham |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationYear | 2025 2024 |
| Publisher | Springer Nature Springer |
| Publisher_xml | – name: Springer Nature – name: Springer |
| SSID | ssib057832942 ssib056567174 ssib057122624 ssib061662510 ssib060428130 ssib056741068 |
| Score | 2.443855 |
| Snippet | The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took... |
| SourceID | proquest oapen |
| SourceType | Publisher |
| SubjectTerms | architecture verification and validation Artificial intelligence computational complexity and cryptography Computer hardware Computer programming / software engineering Computer science Computing and Information Technology design and analysis of algorithms embedded systems Expert systems / knowledge-based systems formal languages and automata theory formal logic formal methods machine learning Mathematical theory of computation model checking models of computation Natural language and machine translation Programming and scripting languages: general semantics and reasoning Software Engineering theory and algorithms for application domains |
| Subtitle | 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II |
| Title | Formal Methods |
| URI | https://directory.doabooks.org/handle/20.500.12854/144770 https://library.oapen.org/handle/20.500.12657/93255 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=31727471 |
| Volume | 14934 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA7aevAg9VGxvqjgNWXz3hy1tPSgxYOU3kKSzYIgrbTV3-8ku10r3rwsZGdZyJch-b4kM4PQfQ4TowWijD0hHnOgsFiXhGPqtCOkIL5MsTCzJzWd5vO5fqnjuNc_exeDpQU1n07yq2wDINIHIovJECRIeCAdQuyjtqQ0j_e4HlSjeSJBAYnSOJlQBBgG3WmDD2verOkyioYdDi2JBElAshgHAg6vCFFS7zSUqtL2NEb2u62as9M6fS3DYMHJhLNYVin27M_Mn5azcedfQByjdoiRESdoLyxOUWdbD6JfTw9n6GgcCfB7_zlVpV530Ww8eh1OcF1vAVuiFQyQpdyXoDA0cdxa4b1WTDitvbSByLwEMQhfaksp8BILUqwM3KkSSImWISjLzlFrsVyEC9QHJulIoXPumeeFKC1jLtPUKSGsLpTsoW7qmSmWNsqJNWgQDuD1kKzef1TJNkxMf11jYSoLYGFoZgAEk0AwCYQeutsiatI5c3251YwehyyyNFiFL__78yt0SGPd37T1co1am9VnuEEH_mvztl7dJv-D54xMvgFgBcf7 |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Formal+Methods&rft.au=Platzer%2C+Andre&rft.au=Rozier%2C+Kristin+Yvonne&rft.au=Pradella%2C+Matteo&rft.au=Rossi%2C+Matteo&rft.date=2024-01-01&rft.pub=Springer&rft.isbn=9783031711763&rft.volume=14934&rft_id=info:doi/10.1007%2F978-3-031-71177-0&rft.externalDocID=EBC31727471 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031711763/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031711763/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031711763/sc.gif&client=summon&freeimage=true |