Specifications

From Software Specifications to Constraint Programming

Non-deterministic specifications play a central role in the use of formal methods for software development.

April 2018 · Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel · In Proceedings SEFM 2018, Springer LNCS