Checking safety properties on-the-fly with the sweep-line method

Guy Edward Gallasch; Jonathan Billington; Somsak Vanit-Anunchai; Lars Michael Kristensen

doi:10.1007/s10009-007-0031-4

Checking safety properties on-the-fly with the sweep-line method

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-007-0031-4 ◽

2007 ◽

Vol 9 (3-4) ◽

pp. 371-391 ◽

Cited By ~ 7

Author(s):

Guy Edward Gallasch ◽

Jonathan Billington ◽

Somsak Vanit-Anunchai ◽

Lars Michael Kristensen

Keyword(s):

Safety Properties ◽

Line Method ◽

Sweep Line

Download Full-text

A Generalised Sweep-Line Method for Safety Properties

FME 2002:Formal Methods—Getting IT Right - Lecture Notes in Computer Science ◽

10.1007/3-540-45614-7_31 ◽

2002 ◽

pp. 549-567 ◽

Cited By ~ 25

Author(s):

Lars Michael Kristensen ◽

Thomas Mailund

Keyword(s):

Safety Properties ◽

Line Method ◽

Sweep Line

Download Full-text

Efficient Path Finding with the Sweep-Line Method Using External Storage

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_19 ◽

2003 ◽

pp. 319-337 ◽

Cited By ~ 13

Author(s):

Lars Michael Kristensen ◽

Thomas Mailund

Keyword(s):

Path Finding ◽

Line Method ◽

Sweep Line

Download Full-text

Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31759-0_6 ◽

2012 ◽

pp. 43-61

Author(s):

Sami Evangelista ◽

Lars Michael Kristensen

Keyword(s):

Priority Queue ◽

External Memory ◽

Line Method ◽

Sweep Line

Download Full-text

Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method

Application and Theory of Petri Nets 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-48068-4_19 ◽

2002 ◽

pp. 314-334 ◽

Cited By ~ 5

Author(s):

Thomas Mailund

Keyword(s):

Line Method ◽

Infinite State Systems ◽

Infinite State ◽

Sweep Line

Download Full-text

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-007-0050-1 ◽

2007 ◽

Vol 10 (1) ◽

pp. 29-56 ◽

Cited By ~ 8

Author(s):

Somsak Vanit-Anunchai ◽

Jonathan Billington ◽

Guy Edward Gallasch

Keyword(s):

Congestion Control ◽

Connection Management ◽

Line Method ◽

Management Procedures ◽

Sweep Line

Download Full-text

Automated Generation of a Progress Measure for the Sweep-Line Method

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_17 ◽

2004 ◽

pp. 192-204 ◽

Cited By ~ 8

Author(s):

Karsten Schmidt

Keyword(s):

Automated Generation ◽

Line Method ◽

Sweep Line

Download Full-text

Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States

IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans ◽

10.1109/tsmca.2003.820582 ◽

2004 ◽

Vol 34 (1) ◽

pp. 23-37 ◽

Cited By ~ 9

Author(s):

J. Billington ◽

G.E. Gallasch ◽

L.M. Kristensen ◽

T. Mailund

Keyword(s):

Line Method ◽

Sweep Line

Download Full-text

Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_16 ◽

2004 ◽

pp. 177-191 ◽

Cited By ~ 7

Author(s):

Thomas Mailund ◽

Michael Westergaard

Keyword(s):

Reachability Graph ◽

Graph Representations ◽

Line Method ◽

Sweep Line ◽

Memory Efficient

Download Full-text

A Sweep-Line Method for State Space Exploration

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-45319-9_31 ◽

2001 ◽

pp. 450-464 ◽

Cited By ~ 55

Author(s):

Søren Christensen ◽

Lars Michael Kristensen ◽

Thomas Mailund

Keyword(s):

State Space ◽

Space Exploration ◽

Line Method ◽

State Space Exploration ◽

Sweep Line

Download Full-text

A Sweep-Line Method for Büchi Automata-based Model Checking

Fundamenta Informaticae ◽

10.3233/fi-2014-1003 ◽

2014 ◽

Vol 131 (1) ◽

pp. 27-53 ◽

Cited By ~ 2

Author(s):

Sami Evangelista ◽

Lars Michael Kristensen

Keyword(s):

Model Checking ◽

Line Method ◽

Büchi Automata ◽

Buchi Automata ◽

Sweep Line

Download Full-text