A Decision Procedure for Sets, Binary Relations and Partial Functions

DOI10.1007/978-3-319-41528-4_10zbMath1411.68060OpenAlexW2497399989WikidataQ57840324 ScholiaQ57840324MaRDI QIDQ4633533

Gianfranco Rossi, Maximiliano Cristiá

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41528-4_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Automated reasoning with restricted intensional sets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Handling transitive relations in first-order automated reasoning

Uses Software

• Coq
• Isabelle/HOL
• Cardinal
• Z/EVES

This page was built for publication: A Decision Procedure for Sets, Binary Relations and Partial Functions