Login / Signup
The algebraic specification language LOTOS: an industrial experience.
Luigi Logrippo
Tim Melanchuk
Robert J. Du Wors
Published in:
Formal Methods in Software Development (1990)
Keyphrases
</>
specification language
formal specification
description language
programming language
symbolic execution
industrial applications
software environment
requirements specification
machine learning
fine grained
search algorithm
model checking