先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
会议名12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)
中译名《第十二届国际形式化方法、验证与确认的合理运用研讨会，卷3》
会议日期October 27-31, 2024
会议地点Crete, Greece
出版年2025
馆藏号356006


题名作者出版年
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track IntroductionGidon Ernst; Paula Herber; Marieke Huisman; Mattias Ulbrich2025
Deductively Verified Program Models for Software Model CheckingJesper Amilon; Dilian Gurov2025
Towards Probabilistic Contracts for Intelligent Cyber-Physical SystemsPauline Blohm; Martin Franzle; Paula Herber; Paul Kroger; Anne Remke2025
Towards the Formal Analysis of Algorithmic RequirementsLorenzo Cappelletti; Roberto Cavada; Alessandro Cimatti; Marco Keppel2025
Interest Beyond Violation: On Points-of-Interest in Runtime VerificationChristian Colombo; Gordon J. Pace; Gerardo Schneider2025
Contract-LIB: A Proposal for a Common Interchange Format for Software System SpecificationGidon Ernst; Wolfram Pfeifer; Mattias Ulbrich2025
Adventures in FRET and SpecificationMarie Farrell; Matt Luckcuck; Rosemary Monahan; Conor Reynolds; Oisin Sheridan2025
Challenges of Multilingual Program Specification and AnalysisCarlo A. Furia; Abhishek Tiwari2025
Towards Integrating Copiloting and Formal Methods: Building Blocks, Architecture, and ChallengesGeorge Granberry; Wolfgang Ahrendt; Moa Johansson2025
High-Level Program Properties in Frama-C: Definition, Verification and DeductionVirgile Robles; Nikolai Kosmatov; Virgile Prevosto; Pascale Le Gall2025
Formal Foundations of Consistency in Model-Driven DevelopmentRomain Pascual; Bernhard Beckert; Mattias Ulbrich; Michael Kirsten; Wolfram Pfeifer2025
Context-Aware Contracts as a Lingua Franca for Behavioral SpecificationMarco Scaletta; Reiner Hahnle2025
SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink ModelsPredrag Filipovikj; Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Oscar Ljungkrantz; Henrik Lonn2025
Static and Dynamic Verification of OCaml Programs: The Gospel EcosystemTiago Lopes Soares; Ion Chirica; Mario Pereira2025
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary)Marieke Huisman; Stephan Merz; Cristina Seceleanu2025
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional ProgramsFrederic Loulergue; Jordan Ischard2025
A Theory of Probabilistic ContractsAnton Hampus; Mattias Nyberg2025
Composition and Merging of Assume-Guarantee Contracts Are Tensor ProductsInigo Incer2025
Avoiding Distractions in Parity GamesTom van Dijk2025
No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking RevisitedRik van Spreuwel; Anton Wijs2025
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024