Paper on Compositional Analysis Using Component-Oriented Interpolation

The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll, has been accepted at the 11th International Symposium on Formal Aspects of Component Softwar.... It presents a novel abstraction technique that exploits the compositionality of a concurrent system consisting of interacting components.

Views: 179

Reply to This

D-MILS Partners









© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service