会议文集


文集名Rewriting Logic and Its Applications
会议名15th International Workshop on Rewriting Logic and Its Applications (WRLA 2024)
中译名《第十五届国际重写逻辑及其应用研讨会》
会议日期April 6-7, 2024
会议地点Luxembourg City, Luxembourg
出版年2024
馆藏号353246


题名作者出版年
Verifying Invariants by Deductive Model CheckingKyungmin Bae; Santiago Escobar; Raul Lopez-Rueda; Jose Meseguer; Julia Sapina2024
Time-Bounded ResilienceTajana Ban Kirigin; Jesse Comer; Max Kanovich; Andre Scedrov; Carolyn Talcott2024
Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJDuong Dinh Tran; Kazuhiro Ogata2024
Equivalence, and Property Internalization and Preservation for Equational ProgramsJose Meseguer2024
Equivalence Checking of Quantum Circuits Based on Dirac Notation in MaudeCanh Minh Do; Kazuhiro Ogata2024
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting LogicCarlos Olarte; Carlos Ramirez; Camilo Rocha; Frank Valencia2024
Timed Strategies for Real-Time Rewrite TheoriesCarlos Olarte; Peter Csaba Olveczky2024
Specifying Fairness Constraints and Model Checking with Non-intensional StrategiesRuben Rubio; Narciso Marti-Oliet; Isabel Pita; Alberto Verdejo2024
The Hrewrite Library: A Term Rewriting Engine for Automatic Code AssemblyMichael Lienhardt2024
A Flexible Framework for Integrating Maude and SMT Solvers Using PythonGeunyeol Yu; Kyungmin Bae2024
Teaching an Advanced Maude-Based Formal Methods Course in OsloPeter Csaba Olvezky2024



制造业外文文献服务平台