Preface to the special issue ``SI: satisfiability modulo theories

DOI10.1007/s10703-012-0172-2zbMath1284.68035OpenAlexW2016568516MaRDI QIDQ2441769

No author found.

Publication date: 28 March 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0172-2

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Chaff
• CVC
• ICS

Cites Work

• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Verification of Timed Automata via Satisfiability Checking
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Preface to the special issue ``SI: satisfiability modulo theories