Real-Time Animation for Formal Specification.
Dominique MéryNeeraj Kumar SinghPublished in: CSDM (2010)
Keyphrases
- formal specification
- real time
- model checking
- specification languages
- object oriented design
- specification language
- process algebra
- data abstraction
- formal methods
- reverse engineering
- concurrent systems
- computer graphics
- software components
- computation tree logic
- real time rendering
- formal verification
- temporal logic
- programming language
- high level
- artificial intelligence