Automatic formal verification of software: Fundamental concepts

Automatic formal verification of software: Fundamental concepts

Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefl...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hu, A.J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer science
Counting circuits
Formal verification
Hardware
Logic
Software systems
Software testing
Software tools
Very large scale integration
Vocabulary
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefly introduces the fundamental concepts behind this renaissance.
DOI:10.1109/ICCCAS.2009.5250313