Tightening the contract refinements of a system architecture

DOI10.1007/S10703-017-0312-9MaRDI QIDQ1654565zbMATH OpenOpenAlexWikidataFDO

Authors Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta

Publication date 8 August 2018

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10703-017-0312-9

zbMATH Keywords

contract-based designOCRAparameter synthesistemporal logic

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Distributed systems (68M14) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Probabilistic Contracts for Component-Based Design
• Probabilistic contracts for component-based design
• scientific article; zbMATH DE number 1231590
• An abstract contract theory for programs with procedures
• Multiple Viewpoint Contract-Based Specification and Design

Cites work

• Boolean Abstraction for Temporal Logic Satisfiability
• HRELTL: a temporal logic for hybrid systems
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1487861 (Why is no real title available?)
• Multiple Viewpoint Contract-Based Specification and Design
• Requirements Validation for Hybrid Systems
• Towards a notion of unsatisfiable and unrealizable cores for LTL

Cited in

(1)

• Trace-based deductive verification

Describes a project that uses

Uses Software

• nuXmv
• OCRA

This page was built for publication: Tightening the contract refinements of a system architecture

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