An Example of Use of Formal Methods to Debug an Embedded Software.
André ArnoldDidier BégayJean-Pierre RadouxPublished in: FME (1996)
Keyphrases
- embedded software
- formal methods
- development projects
- software architecture
- embedded systems
- model checking
- formal specification
- software engineering
- knowledge based systems
- artificial intelligence
- sequence diagrams
- software systems
- development lifecycle
- project management
- fine grained
- software development
- object oriented