The Korrigan environment

MaRDI QIDQ2709215zbMATH OpenFDO

Authors Christine Choppy, Pascal Poizat, Jean-Claude Royer

Publication date 13 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_7_1/the_korrigan_environment

zbMATH Keywords

KORRIGAN specification modelspecification for mixed systems

Mathematics Subject Classification ID

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

Recommendations

• Environment and the Harris and Todaro paradoxes
• The Moran forest
• The theory of Kairons
• Kuykian fields
• Environmental acquisition revisited
• Kerr-Newman interior
• Tauberian Korevaar
• Explicit environments

Cited in

(2)

• scientific article; zbMATH DE number 1693517 (Why is no real title available?)
• KORRIGAN

Describes a project that uses

Uses Software

• SWIG
• CADP
• Python

This page was built for publication: The Korrigan environment

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