Making Software Verification Tools Really Work.

Jade Alglave Alastair F. Donaldson Daniel Kroening Michael Tautschnig

Published in: ATVA (2011)

Keyphrases

software tools
decision support
design decisions
real time
decision making
multi agent
digital libraries
information technology
relational databases
end users
web technologies