A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.
Irbis GallegosOmar OchoaAnn Q. GatesSteve RoachSalamah SalamahCorina VelaPublished in: SEKE (2008)
Keyphrases
- formal specification
- specification language
- specification languages
- formal specification language
- object oriented design
- model checking
- formal methods
- design methodology
- process algebra
- protocol specification
- concurrent systems
- reverse engineering
- knowledge acquisition
- building blocks
- database
- temporal logic
- user interface
- cooperative
- real world