Using Formal Methods for Product and Production Development -- Industrial Applications for Boolean Satisfiability Solvers
Licentiatavhandling, 2010

Visa mer

Formal Methods

Industrial Automation

Boolean Satisfiability

Product and Production Development

Författare

Alexey Voronov

Chalmers, Signaler och system, System- och reglerteknik

Inkluderade delarbeten

Verification of Process Operations Using Model Checking

Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on,;(2009)p. 415-420

Paper i proceeding

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Discrete Event Dynamic Systems: Theory and Applications,;Vol. 19(2009)p. 495-524

Artikel i vetenskaplig tidskrift

Kategorisering

Styrkeområden

Produktion

Ämneskategorier

Systemvetenskap

Datavetenskap (datalogi)

Övrigt

Serie

R - Department of Signals and Systems, Chalmers University of Technology

Examination

2010-06-04 12:00

HB4

Opponent: Dr. Carsten Sinz, Department of Theoretical Computer Science, Karlsruhe Institute of Technology, Germany

Mer information

Skapat

2017-10-07