Runtime Verification
portes grátis
Runtime Verification
A Hands-On Approach in Java
Pace, Gordon J.; Colombo, Christian
Springer International Publishing AG
07/2022
205
Mole
Inglês
9783031092664
15 a 20 dias
343
Descrição não disponível.
1. The Need for Verification?. - 2. What is Runtime Verification.- 3. FiTS: A Financial Transaction System.- 4. Manual Monitoring.- 5. Aspect-Oriented Programming.- 6. Event Guarded Command Language.- 7. Symbolic Automata.- 8. Regular Expressions.- 9. Linear Temporal Logic.- 10. Monitoring Real-Time Properties.- 11. Reactive Runtime Monitoring.- 12. Offline Runtime Verification.- 13. Other Advanced Topics.- 14. Conclusions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Aspect-Oriented Programming;Formal Methods;Runtime Monitoring;Runtime Verification;Software Correctness;Software Reliability
1. The Need for Verification?. - 2. What is Runtime Verification.- 3. FiTS: A Financial Transaction System.- 4. Manual Monitoring.- 5. Aspect-Oriented Programming.- 6. Event Guarded Command Language.- 7. Symbolic Automata.- 8. Regular Expressions.- 9. Linear Temporal Logic.- 10. Monitoring Real-Time Properties.- 11. Reactive Runtime Monitoring.- 12. Offline Runtime Verification.- 13. Other Advanced Topics.- 14. Conclusions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
