A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification.

Louis Gauthier Virgile Prevosto Julien Signoles

Published in: FormaliSE@ICSE (2024)

Keyphrases

formal specification
specification language
specification languages
process algebra
object oriented design
model checking
data abstraction
formal methods
real world
concurrent systems
programming language
reverse engineering
distributed systems
relational databases
cooperative
high level
databases
grid workflow