Pragmatic Formal Specification of System Properties by Tables

DOI10.1007/978-3-319-15545-6_21MaRDI QIDQ5256357zbMATH OpenOpenAlexFDO

Authors Manfred Broy

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_21

zbMATH Keywords

mobilitydynamic systemsinstantiation

Mathematics Subject Classification ID

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

Recommendations

• On a formal semantics of tabular expressions
• scientific article; zbMATH DE number 966595
• Formal methods of analysis of system properties
• scientific article; zbMATH DE number 5511125
• Property-oriented semantics of structured specifications
• Formalizing a Seligman-style tableau system for hybrid logic (short paper)
• scientific article; zbMATH DE number 1696815
• Formally verified tableau-based reasoners for a description logic
• On formal specification of software components and systems
• Prefixed tableau systems for logic of proofs and provability

Cited in

(1)

• Tabular expressions and their relational semantics

This page was built for publication: Pragmatic Formal Specification of System Properties by Tables

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