Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design

DOI10.1023/A:1016372507161MaRDI QIDQ1857286zbMATH OpenFDO

Authors Robert J. Hall

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:1016372507161

zbMATH Keywords

electronic mailformal methodsreactive systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1708017
• Verification of reactive systems. Formal methods and algorithms.
• Reactive Systems
• scientific article; zbMATH DE number 2000429
• Functional specification and proof of correctness for time dependent behaviour of reactive systems

Cited in

(4)

• On quantified linear implications
• Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic
• scientific article; zbMATH DE number 1708017 (Why is no real title available?)
• Analyzing restricted fragments of the theory of linear arithmetic

Describes a project that uses

Uses Software

• Specware

This page was built for publication: Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design

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