×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [symbolic reachability]
Education
Design and minimization of reversible programmable logic arrays and its realization using pass transistors
596 views
Documents
Efficient Reachability Analysis for Verification of Asynchronous Systems Nishant Sinha
217 views
Documents
Introduction to Formal Methods for SW and HW Development 11 - Timed and Hybrid Systems: Formal Modeling and Verification Roberto Sebastiani Based mostly
225 views
Documents
Formal Verification of Hybrid Models of Genetic Regulatory Networks Grégory Batt Center for Information and Systems Engineering and Center for BioDynamics
213 views