Similar Papers

Paper Title
Journal
Date
Author
Formula omitted]: A simplified and abstract multicore hardware model for large scale system software formal verification
Jieung Kim ... Zhong Shao
Journal of Systems Architecture | VOL. 147
Jieung Kim, et. al.Jieung Kim ... Zhong Shao
07 Dec 2023
Formal Modeling and Verification of Software Systems with Stepwise Refinement and Theorem Proving
Tsutomu Kobayashi
Journal of the Robotics Society of Japan | VOL. 40
Tsutomu KobayashiTsutomu Kobayashi
01 Jan 2021
Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications
Abdelaziz Fellah
Procedia Computer Science | VOL. 62
Abdelaziz FellahAbdelaziz Fellah
01 Jan 2015
Security Software Formal Modeling and Verification Method Based on UML and Z
Kunyu Cao ... Jinliang Xing
-
Kunyu Cao, et. al.Kunyu Cao ... Jinliang Xing
01 Jan 2012
View more papers

More From: Software and Systems Modeling

Paper Title
Journal
Date
Author
Integrating smart contracts into the modeling paradigm to harness the potential of models
Cristian Gómez-Macías ... Juan Manuel Vara
Software and Systems Modeling | VOL. -
Cristian Gómez-Macías, et. al.Cristian Gómez-Macías ... Juan Manuel Vara
28 Jan 2025
Refactoring goal-oriented models: a linguistic improvement using large language models
Nouf Alturayeif ... Jameleddine Hassine
Software and Systems Modeling | VOL. -
Nouf Alturayeif, et. al.Nouf Alturayeif ... Jameleddine Hassine
17 Jan 2025
Code generation for classical-quantum software systems modeled in UML
Luis Jiménez-Navajas ... Mario Piattini
Software and Systems Modeling | VOL. -
Luis Jiménez-Navajas, et. al.Luis Jiménez-Navajas ... Mario Piattini
16 Jan 2025
Adaptive caching for operation-based versioning of models
Jakob Pietron ... Matthias Tichy
Software and Systems Modeling | VOL. -
Jakob Pietron, et. al.Jakob Pietron ... Matthias Tichy
15 Jan 2025
View more papers

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.