Contact the publisher of this press release LDRA Collaboration with Green Hills Software Provides Comprehensive Solution for Verification of High-Assurance Embedded Systems