Call for papers: Frontiers in High Performance Computing Research topic: High-Performance Computing and Formal Methods Manuscript Submission: Deadline 10 July 2023
We welcome submissions of papers reporting both original research and case studies on algorithmic advances and the use of high-performance computing for scaling automated reasoning and application of formal methods in system verification and synthesis, and mathematical and logical foundations of parallel formal verification and synthesis algorithms including contributions discussing complexity and correctness guarantees of parallel algorithms. Topics of interest include (but are not limited to): - Algorithms and tools for verifying models and implementations; including model-checking, theorem proving, runtime verification, and decision procedures - Algorithms and tools for system synthesis; including software synthesis and reactive (discrete-time, timed, hybrid) synthesis - Mathematical and logical foundations of scalable formal verification and synthesis algorithms; including complexity analysis, correctness guarantees, and performance improvements - Case studies and experience reports on the use of high-performance computing in applying formal methods for system verification and synthesis. Frontiers in High Performance Computing is an open access journal, so publishing fees are applied to accepted articles. Please contact highperformancecomputing.submissi...@frontiersin.org to discuss fees, institutional waivers, and discounts. For further information and submission guidelines see https://www.frontiersin.org/research-topics/50797/high-performance-computing-and-formal-methods Regards, Kristin Yvonne Rozier, Iowa State University Rosemary Monahan, Maynooth University Rohit Dureja, IBM (United States) Professor Rosemary Monahan Principles of Programming Research Group Department of Computer Science & Hamilton Institute, Maynooth University, Maynooth, Co. Kildare, Ireland. T: +353 1 7083847 F:+353-1-7083848 W: https://www.maynoothuniversity.ie/computer-science/our-people/rosemary-monahan
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
