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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1997-2017
05010015019972017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A design experience involving the transformation of a retired security robot into a social robot that safely serves refreshments… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 3
Is this relevant?
2014
2014
Lurch is a free word processor that can check the mathematical reasoning in a document.1 Although it would be easy to make a word… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2013
2013
Lurch [1] is a free word processor that can check the mathematical reasoning in a document. Most notably, it can check the steps… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Review
2013
Review
2013
Lurch [5] is a free word processor that can check the mathematical reasoning in a document, including the steps of a mathematical… (More)
  • figure 1
  • figure 3
  • figure 5
  • figure 4
  • figure 6
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… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2006
2006
In this paper we describe an experiment in which inconsistent results between two tools for testing formal models (and a third… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
m~[tige Bestrahlung der Kulturen zu ermSgliehen. Diinne Glimmerund Aluminiumfolien hielten die a-Strahlen und weiehen ~-Strahlen… (More)
Is this relevant?
2004
2004
1. An sechs mit Evipan narkotisierten, voll curarisierten Meerschweinchen wurden mit Glaspipettenelektroden von 3–10… (More)
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… (More)
  • figure 1
  • figure 3
  • figure 5
  • figure 7
  • figure 6
Is this relevant?
2003
2003
As software grows increasingly complex, verification becomes more and more challenging. Automatic verification by model checking… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?