QED at Large

Autor

Talia Ringer Karl Palmskog Ilya Sergey Milos Gligoric Zachary Tatlock

Editura

Now Publishers Inc

An publicare

2019

Nr. Pagini

194

ISBN

9781680835946

Categorii

In Limbi Străine

Descriere

This monograph provides the reader with an insightful overview of the work that has led to modern-day techniques for formally verifying software. In times of increasing automation, this underpins many software systems so future trends are also highlighted.