<--- Back to Details
First PageDocument Content
Computer science / Theory of computation / Workshop on Reachability Problems / Software verification / Model checking / Computer Aided Verification / French Institute for Research in Computer Science and Automation / Computing
Date: 2015-04-28 16:53:44
Computer science
Theory of computation
Workshop on Reachability Problems
Software verification
Model checking
Computer Aided Verification
French Institute for Research in Computer Science and Automation
Computing

February 1st, 2015 M IHAELA SIGHIREANU Born: Citizenship: Marital status:

Add to Reading List

Source URL: www.irif.fr

Download Document from Source Website

File Size: 111,86 KB

Share Document on Facebook

Similar Documents

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document

Quantitative Stochastic Models in the Verification and Design of Software Systems  IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

DocID: 1xVNl - View Document

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, #  1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

DocID: 1xVM2 - View Document

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

DocID: 1xVIA - View Document

24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2  Technische Universit¨

24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

DocID: 1xVIg - View Document