ABSTRACT
No abstract available.
- Session details: Component verification
Recommendations
Session details: Oral Session 3: Multimedia Applications (Oral presentations)
ICMR '17: Proceedings of the 2017 ACM on International Conference on Multimedia RetrievalSAT-based verification for timed component connectors
Component-based software construction relies on suitable models underlying components, and in particular the coordinators which orchestrate component behaviour. Verifying correctness and safety of such systems amounts to model checking the underlying ...
Session details: Technical session 1: formal verification and analysis
ISSTA '10: Proceedings of the 19th international symposium on Software testing and analysis
Comments