Fb Informatik, Jurgen Bohn, Jurgen Bohn, Stephan Rossig, Stephan Rossig
Project Sponsor
Formal Transformational Reasoning about Reactive Systems in the Theorem Prover LAMBDA (2007)
Computer aided transformational reasoning about reactive systems requires the formalization of a suitable specification language SL, its semantics, and transformation rules for refining...
Dependability issues of pervasive computing in a healthcare environment (2003)
Jurgen Bohn, Felix Gartner, Harald Vogt
Abstract. This paper proposes that the healthcare domain can serve as an archetypical field of research in pervasive computing. We present this area from a technological perspective, arguing that it...
Formalizing the SL/PL design approach in LAMBDA (1994)
Fb Informatik, Jürgen Bohn, Jurgen Bohn
The Lambda [FFHM] system is a theorem prover for classical higher order logic, which supports the usage of formal methods during the system design and in proof procedures. We present an embedding of...