Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Synthesis of deduction-based decision procedures
with applications to the automatic formal analysis of software
Synthesis of deduction-based decision procedures
with applications to the automatic formal analysis of software
The goal of this project is to develop a method to prove properties
of programs by combining
deduction, satisfiability solving and model checking.
The project is organized in three main threads: