A formal software verification concept based on automated theorem proving and reverse engineering - Popovic, M.; Kovacevic, V.; Velikic, I. (Engineering of Computer-Based Systems (ECBS 2002): Proceedings of the IEEE Conference and Workshop on Engineering of Computer-Based Systems (9th: 2002: Lund, Sweden, 2002)
Keywords: Automata; Automatic control; Calculus; Control engineering computing; Embedded software; Formal verification; Protocols; Reverse engineering; Software testing; Telecommunication standards