The top documents tagged [formal verification]

Requirement verification & validation
Technology Requirement verification & validation

185 views

Software requirement verification & validation
Education Software requirement verification & validation

608 views

Toward Automatic Generation of Models with Probes from the SDL System Specification
Technology Toward Automatic Generation of Models with Probes from the SDL System Specification

161 views

Testing Strategies
Documents Testing Strategies

2.189 views

Final
Technology Final

555 views

Fakultät für informatik informatik 12 technische universität dortmund Evaluation and Validation Peter Marwedel TU Dortmund, Informatik 12 Germany 2009/01/12
Documents Fakultät für informatik informatik 12 technische universität dortmund Evaluation and Validation Peter Marwedel TU Dortmund, Informatik 12 Germany 2009/01/12

216 views

Fakultät für informatik informatik 12 technische universität dortmund Evaluation and Validation Peter Marwedel TU Dortmund, Informatik 12 Germany Graphics:
Documents Fakultät für informatik informatik 12 technische universität dortmund Evaluation and Validation Peter Marwedel TU Dortmund, Informatik 12 Germany Graphics:

216 views

Documenting Software Architectures These notes are my personal view of the concepts presented on Duran-Limons paper: Documenting Software Architectures:
Documents Documenting Software Architectures These notes are my personal view of the concepts presented on Duran-Limons paper: Documenting Software Architectures:

222 views

The Birth of Model Checking Edmund M. Clarke Department of Computer Science Carnegie Mellon University
Documents The Birth of Model Checking Edmund M. Clarke Department of Computer Science Carnegie Mellon University

216 views

Managing State Explosion Through Runtime Verification Sharad Malik Princeton University Gigascale Systems Research Center (GSRC) Hardware Verification
Documents Managing State Explosion Through Runtime Verification Sharad Malik Princeton University Gigascale Systems Research Center (GSRC) Hardware Verification

216 views

Verification of DSMLs Using Graph Transformation: A Case Study with Alloy Zekai Demirezen 1, Marjan Mernik 1,2, Jeff Gray 1, Barrett Bryant 1 1 Department
Documents Verification of DSMLs Using Graph Transformation: A Case Study with Alloy Zekai Demirezen 1, Marjan Mernik 1,2, Jeff Gray 1, Barrett Bryant 1 1 Department

218 views

Intervenant - date Requirement Refinement to Test Case Generation for Embedded Railway Control Systems by : Ying YANG 09/06/2011 Ph.D Student French institute
Documents Intervenant - date Requirement Refinement to Test Case Generation for Embedded Railway Control Systems by : Ying YANG 09/06/2011 Ph.D Student French institute

212 views