Conference item icon

Conference item

Algebraic Techniques in Software Verification : Challenges and Opportunities

Abstract:

One of the main application areas and driving forces behind the development of Satisfiability Modulo Theory (SMT) solvers is software verification. The requirements of software verification are somewhat different to other applications of automated reasoning, posing a number of challenges but also providing some interesting opportunities. This paper brings together and summarises the algebras and structures of interest, along with some of the problems that are characteristic of software verifi...

Expand abstract
Publication status:
Published
Peer review status:
Reviewed (other)
Version:
Accepted manuscript

Actions


Access Document


Files:

Authors


More by this author
Department:
Oxford, MPLS, Computer Science
More by this author
Department:
Oxford, MPLS, Computer Science
McCleeary, R More by this author
Volume:
1804
Pages:
8-12
Publication date:
2016-09-24
Acceptance date:
2016-08-26
Pubs id:
pubs:642017
URN:
uri:9939886a-2dc0-470a-925e-6faab900fbdb
UUID:
uuid:9939886a-2dc0-470a-925e-6faab900fbdb
Local pid:
pubs:642017

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP