Pragmatic Formal Specification of System Properties by Tables

DOI10.1007/978-3-319-15545-6_21zbMATH Open1454.68065OpenAlexW651549231MaRDI QIDQ5256357FDOQ5256357

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

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

zbMATH Keywords

mobilitydynamic systemsinstantiation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)