Formal Methods
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...
| Autores principales: | , , , |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer Nature Switzerland
2025
|
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=4018303&site=ehost-live header: @attributes: shortDbName: nlebk uiTerm: 4018303 longDbName: eBook Collection (EBSCOhost) uiTag: AN controlInfo: bkinfo: btl: Formal Methods aug: au: André Platzer Kristin Yvonne Rozier Matteo Pradella Matteo Rossi sertl: Formal Methods isbn: 9783031711619 9783031711626 imageinfo: pubinfo: dt: @attributes: year: 2025 month: 01 day: 01 dtAvail: @attributes: year: 2024 month: 11 day: 08 vid: Part I pub: Springer Nature Switzerland pubContract: Springer Nature place: Cham price: 0.01 limitsGroup: maxCheckoutDays: 1500 copyPages: 10 pda: N printPagesOffline: 10 printPagesOnline: 10 previewPages: 0 prePubGroup: dewey: @attributes: class: 004.0151 item: 004 .0151 lc: @attributes: class: QA76.9.F67 item: QA 76 .9 .F67 artinfo: ui: 4018303 1456141976 formats: fmt: – @attributes: type: EB doid: NL$4018303$PDF caption: PDF download: Y – @attributes: type: EK doid: NL$4018303$EPUB caption: EPUB download: Y tig: atl: Formal Methods ptl: Formal Methods aug: au: André Platzer Kristin Yvonne Rozier Matteo Pradella Matteo Rossi su: Formal methods (Computer science)--Congresses sug: subj: COMPUTERS / Software Development & Engineering / General COMPUTERS / Computer Architecture COMPUTERS / Computer Science COMPUTERS / Languages / General COMPUTERS / Hardware / General COMPUTERS / Speech & Audio Processing Formal methods (Computer science)--Congresses ab: 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. pubtype: eBook doctype: Book ougenre: Book language: English copyright: @attributes: flag: N copyrightText: holdings: @attributes: islocal: N |
|---|