Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi

DOI10.1007/978-3-642-54624-2MaRDI QIDQ2437597zbMATH OpenOpenAlexFDO

Authors

Publication date 4 March 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54624-2

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(3)

• Liveness properties in CafeOBJ -- a case study for meta-level specifications
• Assertion-based analysis via slicing withABETS(system description)
• Optimal and robust controller synthesis using energy timed automata with uncertainty

This page was built for publication: Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi

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