'Theorem Proving' trends

Domains containing the tag 'Theorem Proving'

Bounce ratePages / VisitVisit duration

1lfcps.org
André Platzer @ Karlsruhe Institute of Technology
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.

47.27 2.52 00:45

2symbolaris.com
André Platzer @ Karlsruhe Institute of Technology
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes.

n/a 0.00 n/a

3alexandersteen.de
Alexander Steen
Dr. Alexander Steen is a researcher in theoretical computer science and AI at the University of Greifswald, Germany.

n/a 0.00 n/a

4atcorp.com
Architecture Technology Corporation
Architecture Technology Corporation home page

n/a 3.00 n/a