Happy 2018 from TrustInSoft Posted On January 4, 2018 By Selma Chababi In Events / Happy 2018 from all of us at TrustInSoft. What we achieved in 2017 thanks to you, is just the beginning. Thank you to our community for this great year! Keep your software secure & code safely! Cheers! #HappyNewYear2018 Differences between the B method and Frama-C in Formal Methods Meet us at CES2018 in Las Vegas Selma Chababi All articles by: Selma Chababi Leave a Reply Cancel reply Save my name, email, and website in this browser for the next time I comment.