Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software.
Lalita Jategaonkar JagadeesanCarlos PucholJames Von OlnhausenPublished in: CAV (1995)
Keyphrases
- hardware designs
- circuit design
- free software
- safety analysis
- software development
- symbolic execution
- software systems
- user interface
- software components
- software tools
- formal verification
- computer systems
- test data generation
- safety critical
- database
- program slicing
- java programs
- software design
- legacy software
- control center
- high assurance
- commercial software
- nuclear power plant
- data entry
- formal methods
- computer programs
- artificial intelligence