Two-Dimensional Pinpointing: Debugging with Formal Specifications.
David C. LuckhamSriram SankarShuzo TakahashiPublished in: IEEE Softw. (1991)
Keyphrases
- formal specification
- object oriented design
- software testing
- specification languages
- model checking
- three dimensional
- process algebra
- specification language
- formal methods
- reverse engineering
- design methodology
- formal specification language
- protocol specification
- concurrent systems
- multi dimensional
- cooperative
- database
- first order logic
- real world