: Specification and refinement of Safety-Critical Java programs.
Alvaro MiyazawaAna CavalcantiAndy J. WellingsPublished in: Sci. Comput. Program. (2019)
Keyphrases
- safety critical
- java programs
- formal methods
- test case generation
- multi threaded
- fault tolerant
- formal specification
- software components
- embedded systems
- agent architecture
- model checking
- software engineering
- test suite
- test cases
- specification language
- knowledge based systems
- low cost
- information systems
- adaptive systems
- high level