Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2022.3174408
Abstract: Reflection is a technique that enables a system to inspect or change its structure and/or behavior at runtime. It is a key enabler of many techniques for developing systems that have to function despite rapidly… read more here.
Keywords: system; towards scalable; reflective systems; labeled transition ... See more keywords