Executing formal specifications with concurrent constraint programming

DOI10.1023/A:1026554217992MaRDI QIDQ1857312zbMATH OpenOpenAlexFDO

Authors Tim Wahls, Gary T. Leavens, Albert L. Baker

Publication date 17 February 2003

Published in Automated Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1026554217992

zbMATH Keywords

preconditionformal specificationC++postconditionexecutable specificationconcurrent constraintprogrammingmodel-based specification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Modeling concurrent systems specified in a temporal concurrent constraint language. I
• scientific article; zbMATH DE number 1638652
• An executable semantics of clock constraint specification language and its applications
• scientific article; zbMATH DE number 2111990
• scientific article; zbMATH DE number 1405453

Cited in

(5)

• On the Implementation of Speculative Constraint Processing
• From Software Specifications to Constraint Programming
• Automated reformulation of specifications by safe delay of constraints
• Integrating formal specifications into applications: the ProB Java API
• Models and emerging trends of concurrent constraint programming

Describes a project that uses

Uses Software

• Mozart
• JML
• LARCH

This page was built for publication: Executing formal specifications with concurrent constraint programming

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