中国机械工程学会生产工程分会知识服务平台

会议文集


文集名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