Integrating testing and interactive theorem proving
type: Item
instance of: scholarly article
title: Integrating testing and interactive theorem proving
zbMATH Open document ID: 1542.68209
DOI: 10.4204/eptcs.70.1
author: Harsh Raju Chamarthi
author: Peter C. Dillinger
author: Matt Kaufmann
author: Panagiotis Manolios
publication date: 2024-08-13T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7895637
MaRDI profile type: Publication
cites work: Q3894958
cites work: Formal Approaches to Software Testing
cites work: Functional Testing in the Focal Environment
cites work: ACL2s: ``the ACL2 sedan''
cites work: Testing can be formal, too
cites work: A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures
cites work: Termination Analysis with Calling Context Graphs
description: scientific article; zbMATH DE number 7895637