Specialization with Constrained Generalization for Software Model Checking

DOI10.1007/978-3-642-38197-3_5zbMath1394.68072OpenAlexW2226282123MaRDI QIDQ2848896

Maurizio Proietti, Alberto Pettorossi, Fabio Fioravanti, Emanuele De Angelis

Publication date: 13 September 2013

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38197-3_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Uses Software

• ARMC
• TRACER
• SIMP
• HSF

This page was built for publication: Specialization with Constrained Generalization for Software Model Checking