Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems.
Jon PérezJose Luis FloresChristian BlumJesús CerquidesAlex AbuinPublished in: IEEE Trans. Ind. Informatics (2022)
Keyphrases
- safety critical
- software design
- formal verification
- formal methods
- boolean algebra
- safety analysis
- model checking
- symbolic model checking
- model checker
- fault tolerant
- embedded systems
- agent architecture
- support systems
- software systems
- intelligent systems
- software development
- expert systems
- distributed systems
- adaptive systems
- temporal logic
- data mining
- learning systems
- knowledge management
- management system
- case study
- artificial intelligence