SMT-COMP : Satisfiability modulo theories competition

Conference proceeding

Open access

Peer reviewed

Clark Barrett, Leonardo DE MOURA and Aaron Stump

Lecture notes in computer science, Vol.3576, pp.20-23

CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005)

2005

DOI: 10.1007/11513988_4

Files and links (1)

url

https://doi.org/10.1007/11513988_4View

Published (Version of record) Open Access

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Software

Software engineering

Title: Subtitle: SMT-COMP : Satisfiability modulo theories competition
Creators: Clark Barrett - New York University
Leonardo DE MOURA - SRI International
Aaron Stump - Washington University in St. Louis
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.3576, pp.20-23
Conference: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005)
Publisher: Springer
DOI: 10.1007/11513988_4
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2005
Academic Unit: Computer Science
Record Identifier: 9984259439202771

5 Record Views