Synchronous Program Verification with Lustre/Lesar
Pascal Raymond · 2008
This chapter contains sections titled: Synchronous approach The Lustre language Program verification Expressing properties Algorithms Enumerative algorithm Symbolic methods and binary decision diagrams Forward symbolic exploration Backward symbolic exploration Conclusion and related works Demonstrations Bibliography