GSDetector: a tool for automatic detection of bad smells in GRL goal models Mawal A. MohammedJameleddine HassineMohammad Alshayeb General 13 August 2022 Pages: 889 - 910
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL Jaehun LeeKyungmin BaeMinseok Kang General 03 September 2022 Pages: 911 - 948
An automated framework for verifying or refuting trace properties of extended finite state machines Ramsay G. TaylorMichael FosterSiobhán North General Open access 29 July 2022 Pages: 949 - 972
Formal methods and tools for industrial critical systems Alberto Lluch LafuenteAnastasia Mavridou General 28 October 2022 Pages: 973 - 976
Automated formal analysis of temporal properties of Ladder programs Cláudio Belo LourençoDenis CousineauHiroaki Inoue General 01 November 2022 Pages: 977 - 997
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps Simon Thrane HansenCasper ThuleJosé Manuel Rodriguez General 12 November 2022 Pages: 999 - 1024
Randomized reachability analysis in UPPAAL: fast error detection in timed systems Andrej KivirigaKim Guldstrand LarsenUlrik Nyman General 17 November 2022 Pages: 1025 - 1042
SMT solving for the validation of B and Event-B models Joshua SchmidtMichael Leuschel General Open access 21 November 2022 Pages: 1043 - 1077