CCSL is a specification language that combines both algebraic and coalgebraic elements. The CCSL compiler translates CCSL specifications into higher-order logic either for PVS or for for Isabelle/HOL (in new style Isar syntax). After translation the theorem prover can be used to examine the specification, built models, construct refinements, and much more

References in zbMATH (referenced in 19 articles , 1 standard article )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Mallet, Frédéric; Zholtkevych, Grygoriy: Coalgebraic semantic model for the clock constraint specification language (2015)
  2. Leivant, Daniel M.: Global semantic typing for inductive and coinductive computing (2014)
  3. Amato, Gianluca; Lipton, James; McGrail, Robert: On the algebraic structure of declarative programming languages (2009)
  4. Nagoev, Z.V.: Genomic control of agent morphogenesis in a physically correct virtual environment (2008)
  5. Schröder, Lutz: Expressivity of coalgebraic modal logic: the limits and beyond (2008)
  6. Schröder, Lutz: A finite model construction for coalgebraic modal logic (2007)
  7. Mossakowski, Till; Schröder, Lutz; Roggenbach, Markus; Reichel, Horst: Algebraic-coalgebraic specification in CoCASL (2006)
  8. Schröder, Lutz: Expressivity of coalgebraic modal logic: The limits and beyond (2005)
  9. Roşu, Grigore: Behavioral abstraction is hiding information (2004)
  10. Awodey, Steve; Hughes, Jesse: Modal operators and the formal dual of Birkhoff’s completeness theorem. (2003)
  11. Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino: Imperative object-based calculi in co-inductive type theories (2003)
  12. Hughes, Jesse; Warnier, Martijn: The coinductive approach to verifying cryptographic protocols. (2003)
  13. Quigley, Claire L.: A programming logic for Java bytecode programs (2003) ioport
  14. Jacobs, Bart: The temporal logic of coalgebras via Galois algebras (2002)
  15. Kurz, Alexander: Logics admitting final semantics (2002)
  16. Jacobs, Bart: Many-sorted coalgebraic modal logic: A model-theoretic study (2001)
  17. Reif, Wolfgang (ed.); Schellhorn, Gerhard (ed.): Special issue on tools for system design and verification. FM-TOOLs 2000, 4th workshop, Reisensburg castle, Germany, 2000. Part 2 (2001)
  18. Rothe, Jan; Tews, Hendrik; Jacobs, Bart: The coalgebraic class specification language CCSL (2001)
  19. Tews, Hendrik: Coalgebras for binary methods: Properties of bisimulations and invariants (2001)