Step-Wise Development of Provably Correct Actor Systems.
Bernhard K. AichernigBenedikt MaderbacherPublished in: ISoLA (1) (2020)
Keyphrases
- provably correct
- step wise
- formal methods
- knowledge based systems
- data sets
- artificial intelligence
- expert systems
- management system
- decision support
- safety critical
- support systems
- distributed systems
- intelligent systems
- learning systems
- historical perspective
- legacy systems
- technical issues
- complex systems
- multi agent systems
- case study
- neural network