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)

Semantic Scholar uses AI to extract papers important to this topic.

2018

2018

- David Claveau, Stormon Force
- 2018 Second IEEE International Conference onâ€¦
- 2018

A design experience involving the transformation of a retired security robot into a social robot that safely serves refreshmentsâ€¦Â (More)

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)

Is this relevant?

2013

2013

- Nathan C. Carter, Kenneth G. Monks
- CICM Workshops
- 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)

Is this relevant?

Review

2013

Review

2013

- Nathan C. Carter, Kenneth G. Monks
- CICM Workshops
- 2013

Lurch [5] is a free word processor that can check the mathematical reasoning in a document, including the steps of a mathematicalâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- Jens B. Schmitt, Frank A. Zdarsky, Markus Fidler
- IEEE INFOCOM 2008 - The 27th Conference onâ€¦
- 2008

Network calculus has proven as a valuable and versatile methodology for worst-case analysis of communication networks. One issueâ€¦Â (More)

Is this relevant?

2006

2006

- David Owen, Dejan Desovski, Bojan Cukic
- 2006 17th International Symposium on Softwareâ€¦
- 2006

In this paper we describe an experiment in which inconsistent results between two tools for testing formal models (and a thirdâ€¦Â (More)

Is this relevant?

2005

2005

- Paul R. Burkholder, H. B. Creighton
- Protoplasma
- 2005

m~[tige Bestrahlung der Kulturen zu ermSgliehen. Diinne Glimmerund Aluminiumfolien hielten die a-Strahlen und weiehen ~-Strahlenâ€¦Â (More)

Is this relevant?

2004

2004

- Dr. med. habil. Reinhard K. J. Pfalz
- Archiv fÃ¼r klinische und experimentelle Ohrenâ€¦
- 2004

1. An sechs mit Evipan narkotisierten, voll curarisierten Meerschweinchen wurden mit Glaspipettenelektroden von 3â€“10â€¦Â (More)

Is this relevant?

2003

2003

- David Owen, Tim Menzies
- SEKE
- 2003

Formal methods, including model checking, is powerful but can be costly, in terms of memory, time, and modeling effort. Difficultâ€¦Â (More)

Is this relevant?

2003

2003

- David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao
- SEW
- 2003

As software grows increasingly complex, verification becomes more and more challenging. Automatic verification by model checkingâ€¦Â (More)

Is this relevant?