Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Ultimate Automizer is a software verifier that implements an automata-based approach for the verification of safety and liveness properties. A central new feature that speeded up the abstraction refinement of the tool is an on-demand construction of Floyd-Hoare automata.