CSL4P: A Contract Specification Language for Platforms.

Alessandro Pinto Alberto L. Sangiovanni-Vincentelli

Published in: Syst. Eng. (2017)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
requirements specification
real world
supply chain
software environment
information retrieval