Abstract: Provides society information that may include news, reviews or technical notes that should be of interest to practitioners and researchers.

TrustInSoft has expanded its formal verification technology to support the Rust programming language and real-time systems.