Pascalin Amagbégnon, Loïc Besnard & Paul Le Guernic (1995):
Implementation of the Data-Flow Synchronous Language SIGNAL.
In: PLDI,
pp. 163–173.
Available at http://doi.acm.org/10.1145/207110.207134.
Albert Benveniste & Gérard Berry (2002):
The Synchronous Approach to Reactive and Real-time Systems.
In: Giovanni De Micheli, Rolf Ernst & Wayne Wolf: Readings in Hardware/Software Co-design.
Kluwer Academic Publishers,
Norwell, MA, USA,
pp. 147–159.
Available at http://doi.acm.org/10.1016/B978-155860702-6/50013-2.
Gérard Berry & Georges Gonthier (1992):
The Esterel Synchronous Programming Language: Design, Semantics, Implementation.
Sci. Comput. Program. 19(2),
pp. 87–152.
Available at http://dx.doi.org/10.1016/0167-6423(92)90005-V.
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs & John Plaice (1987):
Lustre: A Declarative Language for Programming Synchronous Systems.
In: POPL,
pp. 178–188.
Available at http://doi.acm.org/10.1145/41625.41641.
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu & Helmut Veith (2000):
Counterexample-Guided Abstraction Refinement.
In: CAV,
pp. 154–169.
Available at http://dx.doi.org/10.1007/10722167_15.
Pierre-Loïc Garoche, Temesghen Kahsai & Cesare Tinelli (2013):
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers.
In: NASA Formal Methods,
pp. 139–154.
Available at http://dx.doi.org/10.1007/978-3-642-38088-4_10.
Ashutosh Gupta, Corneliu Popeea & Andrey Rybalchenko (2011):
Solving Recursion-Free Horn Clauses over LI+UIF.
In: APLAS,
pp. 188–203.
Available at http://dx.doi.org/10.1007/978-3-642-25318-8_16.
Ashutosh Gupta, Corneliu Popeea & Andrey Rybalchenko (2011):
Threader: A Constraint-Based Verifier for Multi-threaded Programs.
In: CAV,
pp. 412–417.
Available at http://dx.doi.org/10.1007/978-3-642-22110-1_32.
Temesghen Kahsai, Yeting Ge & Cesare Tinelli (2011):
Instantiation-Based Invariant Discovery.
In: NASA Formal Methods,
pp. 192–206.
Available at http://dx.doi.org/10.1007/978-3-642-20398-5_15.