Using Theorem Proving To Verify Function Block Based Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
theorem proving
proof logging
View Professor Profile
Professor
Professor Profile
J Moore
University of Texas at Austin United States of America
automatic theorem proving
application proving properties
View Professor Profile
Professor
Professor Profile
Revantha Ramanayake
University of Groningen Netherlands
automated theorem proving
proof theory
View Professor Profile
Professor
Professor Profile
Thomas Sewell
University of New South Wales Australia
theorem proving
View Professor Profile
Professor
Professor Profile
Ekaterina Komendantskaya
University of Southampton United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
Elias Castegren
Uppsala University Sweden
theorem proving
View Professor Profile
Professor
Professor Profile
Mateja Jamnik
University of Cambridge United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
David Aspinall
University of Edinburgh United Kingdom
theorem proving
View Professor Profile
Professor
Professor Profile
Sofiène Tahar
Concordia University Canada
theorem proving
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
theorem proving
function block based systems
View Professor Profile
Professor
Professor Profile
Christian Urban
King's College London United Kingdom
theorem provers
View Professor Profile
Professor
Professor Profile
Matthew Daggitt
University of Western Australia Australia
theorem provers
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
theorem-proving
View Professor Profile
Professor
Professor Profile
Guershon Harel
University of California, San Diego United States of America
proving
View Professor Profile
Professor
Professor Profile
Andreas Stylianides
University of Cambridge United Kingdom
proving
View Professor Profile
Professor
Professor Profile
Bengt Jonsson
Uppsala University Sweden
verification of concurrent systems
View Professor Profile
Professor
Professor Profile
Lars-henrik Eriksson
Uppsala University Sweden
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Johannes Pohjola
University of New South Wales Australia
interactive theorem proving
View Professor Profile
Professor
Professor Profile
Craig Mclaughlin
University of New South Wales Australia
interactive theorem proving
View Professor Profile
First
Prev
Page 1 | 63 Results
Next