Quantifier-free bit-vectors: Complexity and alternative solving approaches
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
10th Alpine Verification Meeting (AVM?15)
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is bringing together young researchers from the Alpine region. The meeting is open to everyone.