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
• scientific article; zbMATH DE number 1962789
• Compact data structures and state-space reduction for model-checking real-time systems
• scientific article; zbMATH DE number 1629960
• 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)