Cited By
View all- Menghi CBalai EValovcin DSticksel CRajhans A(2025)Completeness and Consistency of Tabular Requirements: An SMT-Based Verification ApproachIEEE Transactions on Software Engineering10.1109/TSE.2025.353082051:2(595-620)Online publication date: Feb-2025
- Moore NLawford M(2022)A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent VerificationTheoretical Aspects of Software Engineering10.1007/978-3-031-10363-6_5(65-72)Online publication date: 2022
- Reveliotis S(2021)Applications of Discrete Event SystemsEncyclopedia of Systems and Control10.1007/978-3-030-44184-5_59(67-76)Online publication date: 4-Aug-2021
- Show More Cited By