IET Software / IEEE Software / MIT Press / University Sanjiv S. Sharma Airbus Operations Limited / Embedded Software / /
Country
United Kingdom / /
Facility
Oxford University / University of Manchester / Uppsala University / Cuong M. Tran University of Manchester Abstract / /
Holiday
Assumption / /
IndustryTerm
software component verification / component-based software development approach / compositional software design / static analysis tools / industrial systems / software component model / formal verification tools / to robotic systems / hierarchical systems / strict real-time requirements / sub-systems / test-suite generation algorithms / composite systems / software components / automated software model checker / software model checkers / exhaustive search / transition systems / industrial-scale systems / verifier tool / similar algorithm / defined systems / verification tool / /
Organization
Cuong M. Tran University of Manchester Abstract / MIT / US Federal Reserve / University of Manchester / Philipp R¨ummer Uppsala University / Oxford University / Uppsala University / Technology Strategy Board / IN IA / /
Person
ASE S TUDY / Daniel Kroening / Tank / Thomas Wahl / Faris Taweel / /
Component-based Design and Verification in X-MAN Nannan He, Daniel Kroening, Thomas Wahl Oxford University Kung-Kiu Lau, Faris Taweel,