Fabien Siron
Fabien Siron
Home
Curriculum
Research
Teaching
Projects
Contact
Light
Dark
Automatic
Model Checking
Methodology for the Formal Verification of Temporal Properties for Real-Time Safety-Critical Applications Based on Logical Time
PhD thesis on semantic foundations and formal verification of logical-time real-time programs, with applications to PsyC, synchronous languages, symbolic model checking, and CCSL.
Fabien Siron
PDF
Slides
Source Document
Cite
×