Data constraints for validation of real-time software

MaRDI QIDQ3619259zbMATH OpenFDO

Authors Shin Nakajima

Publication date 3 April 2009

zbMATH Keywords

data constraintsreal-time maudereal-time software architecturesoftware engineeringverification and validation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Semantics and pragmatics of real-time maude
• Term validation of distributed hard real-time applications
• Compact data structures and state-space reduction for model-checking real-time systems
• Efficient data structure for fully symbolic verification of real-time software systems
• Complexity bounds for the verification of real-time software

This page was built for publication: Data constraints for validation of real-time software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3619259)