scientific article; zbMATH DE number 7104926
From MaRDI portal
Publication:5232900
Mooly Sagiv, Sharon Shoham, Yotam M. Y. Feldman, Oded Padon
Publication date: 13 September 2019
Full work available at URL: https://arxiv.org/abs/1710.08668
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decision proceduresEPRdeductive verificationquantifier instantiationdecidable logicinductive invariants
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Verification of SMT systems with quantifiers ⋮ Stratified guarded first-order transition systems ⋮ Unnamed Item
This page was built for publication:
