Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

LURCH

LURCH is a tool for software design debugging that uses a nondeterministic algorithm to quickly explore the reachable states of a software model. By… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The City of Johannesburg, South Africa, implemented the first phase of its Bus Rapid Transit (BRT) system named Rea Vaya between… Expand
  • figure 1
Is this relevant?
2013
2013
This is the final version of the article. It first appeared from J.B. Metzler'sche Verlagsbuchhandlung und Carl Ernst Poeschel… Expand
Is this relevant?
2011
2011
Non-FIFO processing of flows by network nodes is not a rare phenomenon. Unfortunately, the state-of-the-art analytical tool for… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Network calculus has proven as a valuable and versatile methodology for worst-case analysis of communication networks. One issue… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2008
2008
This paper investigates the relationship between the policy regime and growth during 1950-64 termed here `the Nehru era'. While… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2003
2003
Formal methods, including model checking, is powerful but can be costly, in terms of memory, time, and modeling effort. Difficult… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 7
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Imagine a population of organisms with limited altruistic dispositions. For each of these organisms, there’s a variety of… Expand
Is this relevant?
1986
1986
The displacement of the liberal-left from the centre of American political and economic thought is now a happy fact - except in… Expand
Is this relevant?
1986
1986
Over the past few years, research in the area of neurosciences has come more and more to represent the ideal of an integrated… Expand
Is this relevant?
1936
1936
 
  • figure 1
  • figure 3
  • figure 4
  • figure 7
  • figure 9
Is this relevant?