Hardware Verification

People 5

Papers 3

Journals 0

Jobs 0

Computer Science

Formal Methods (Formal Verification)

Satisfiability Modulo Theories

Software Verification and Validation

Algorithms for Satisfiability

Digital Electronics

Computer Hardware Design

Electronics and Instrumentation

Model-Based Testing

Information technology hardware

Open Source Hardware

PCB circuit desgin

Hardware Verification

Constraint Solving

Hardware & networking

Fuzz Testing

Delta Debugging

Computing, Electronic, Hardware

Hardware Testing

Follow Christoph

What is Following?

Following Christoph's work means that, in your Academia.edu News Feed, you will see Christoph's:

status updates
new papers
new research interests

and other research updates.

Christoph Wintersteiger

Microsoft Research

Post-Doc

Cambridge Department

Algorithms for Satisfiability, Constraint Solving, Hardware Verification, and Satisfiability Modulo Theories

Follow Robert Daniel

What is Following?

Following Robert Daniel's work means that, in your Academia.edu News Feed, you will see Robert Daniel's:

status updates
new papers
new research interests

and other research updates.

Robert Daniel Brummayer

Danube Mobile Communications Engineering (DMCE)

Post-Doc

Transceiver Firmware Verification Department

Delta Debugging, Formal Methods (Formal Verification), Fuzz Testing, and Hardware Verification

Follow Ahsan

What is Following?

Following Ahsan's work means that, in your Academia.edu News Feed, you will see Ahsan's:

status updates
new papers
new research interests

and other research updates.

Ahsan Ali

University of Engineering & Technology Lahore, Pakistan

Graduate Student

Electrical Engineering Department

Computer Hardware Design, Computing, Electronic, Hardware, Digital Electronics, and Electronics and Instrumentation

Follow Oscar

What is Following?

Following Oscar's work means that, in your Academia.edu News Feed, you will see Oscar's:

status updates
new papers
new research interests

and other research updates.

Hardware Verification

What is Following?

Christoph Wintersteiger

Microsoft Research

Post-Doc

Cambridge Department

What is Following?

Robert Daniel Brummayer

Danube Mobile Communications Engineering (DMCE)

Post-Doc

Transceiver Firmware Verification Department

What is Following?

Ahsan Ali

University of Engineering & Technology Lahore, Pakistan

Graduate Student

Electrical Engineering Department

What is Following?

Oscar Goñi

Universidad del Centro de la Provincia de Buenos Aires

Graduate Student

Computacion y Sistemas Department

Log In

Reset Password