This volume contains the papers presented at AVOCS 2018: 18th International Workshop on Automated Verification of Critical Systems held on July 18-19, 2018 in Oxford.

There were 14 submissions. Each submission was reviewed by at least 3 program committee members. The committee decided to accept 12 papers. The program also includes 4 invited talks.

The online program committee process was made specially easy thanks to the EasyChair system.