Compiling and verifying SC-SystemJ programs for safety-critical reactive systems

DOI10.1016/j.cl.2015.08.006zbMath1387.68053OpenAlexW1878532202WikidataQ58799908 ScholiaQ58799908MaRDI QIDQ1749143

Heejong Park, Avinash Malik, Zoran Salcic

Publication date: 15 May 2018

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2015.08.006

zbMATH Keywords

verificationmodel checkingcompilationsafety-criticalSC-SystemJSystemJ

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Formal modelling and verification of GALS systems using GRL and CADP

Uses Software

• SPIN
• PROMELA
• jSpin
• LUSTRE
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Esterel synchronous programming language: Design, semantics, implementation
• Weak and strong fairness in CCS
• Communicating sequential processes
• Computer Aided Verification
• Derivatives of Regular Expressions