Title: Automated technology for verification and analysis
Subjects: Congresses, Automatic theorem proving, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Computer Communication Networks, Programming Techniques, Software engineering, Computer science, Logic design