Checking Properties Using the Sweep-line Method Posted on October 6, 2009 (May 18, 2018) by Michael In this example we use the sweep-line method to check a mutual exclusion property of the dining philosophers example. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/