Login / Signup
Formal specifications and reliability: an experimental study.
Amrit L. Goel
Swarupa N. Sahoo
Published in:
ISSRE (1991)
Keyphrases
</>
formal specification
object oriented design
specification languages
specification language
model checking
concurrent systems
formal methods
process algebra
reverse engineering
protocol specification
software components
formal specification language
database
databases
artificial intelligence
integrity constraints