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

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Chen-wei Wang
York University Canada
using theorem proving to verify function block based systems
using model checking to verify real-time systems
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
theorem proving
function block based systems
View Professor Profile
Professor
Professor Profile
Magnus Myréen
University of Gothenburg Sweden
theorem proving
proof logging
View Professor Profile
Professor
Professor Profile
Clément Pit-claudel
École Polytechnique Fédérale de Lausanne Switzerland
proofs of programs
interactive theorem proving
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
Sofiène Tahar
Concordia University Canada
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
David Aspinall
University of Edinburgh 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
Andrew Pitts
University of Cambridge United Kingdom
theorem proving systems
View Professor Profile
Professor
Professor Profile
Jeff Edmonds
York University Canada
proof systems
View Professor Profile
Professor
Professor Profile
Matthew Daggitt
University of Western Australia Australia
theorem provers
View Professor Profile
Professor
Professor Profile
Jeff Edmonds
York University Canada
proof systems
View Professor Profile
Professor
Professor Profile
Christian Urban
King's College London United Kingdom
theorem provers
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
theorem-proving
View Professor Profile
Professor
Professor Profile
Patrick Lederer
University of New South Wales Australia
computer-aided theorem proving
View Professor Profile
Professor
Professor Profile
Guershon Harel
University of California, San Diego United States of America
proving
View Professor Profile
First
Prev
Page 1 | 74 Results
Next