×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [proof obligations]
Documents
The B-method: an introduction
466 views
Documents
1 Minimalist proof assistants Interactions of technology and methodology in formal system level verification Ken McMillan Cadence Berkeley Labs
219 views
Documents
Constructing Safety Assurance Cases for Medical Devices Arnab Ray, PhD Senior Research Scientist Fraunhofer USA Center for Experimental Software Engineering
214 views
Documents
2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applications Event-B/Purse.1 CSC 4504 : Langages formels et applications (La méthode Event-B) J
213 views
Documents
VIDE als voortzetting van Cocktail SET Seminar 11 september 2008 Dr. ir. Michael Franssen
214 views
Documents
Developing Artificial Neural Networks for Safety Critical Systems Zeshan Kurd Supervisor: Tim Kelly Department of Computer Science
216 views
Documents
The B Method
34 views
Documents
LTL – model checking Jonas Kongslund Peter Mechlenborg Christian Plesner Kristian Støvring Sørensen
227 views
Documents
David Greaves - SENSORCOM08 - France. Using a.net Checkability Profile to Limit Interactions between Embedded Controllers. David Greaves, Atif Alvi Tope
228 views