This is a toolbox which has a maude framework for multicore architecture with caches and shared locks.
Proof of concept implementation for paper entitled Deployment by Construction for Multi- core Architectures which appeared in the Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Modeling (ISoLA 2018), volume 11244 of Lecture Notes in Computer Science, Springer, 2018.
ShijiBijo84/ISoLA2018
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Proof of concept implementation for paper entitled Deployment by Construction for Multi- core Architectures which appeared in the Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Modeling (ISoLA 2018), volume 11244 of Lecture Notes in Computer Science, Springer, 2018.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published