Verifying OSEK/VDX OS Design Using Its Formal Specification | 1 | 0.35 | 2016 |
A Framework For Verifying The Conformance Of Design To Its Formal Specifications | 0 | 0.34 | 2015 |
Checking the Conformance of a Promela Design to its Formal Specification in Event-B. | 0 | 0.34 | 2014 |
An Approach for Checking OSEK/VDX Applications | 2 | 0.41 | 2013 |
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol. | 0 | 0.34 | 2013 |
SMT-Based Bounded Model Checking for OSEK/VDX Applications. | 5 | 0.45 | 2013 |
SMT-based enumeration of object graphs from UML class diagrams | 7 | 0.45 | 2012 |
Model checking of OSEK/VDX OS design model based on environment modeling | 5 | 0.49 | 2012 |
An executable object-oriented semantics and its application to firewall verification | 0 | 0.34 | 2011 |
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving | 0 | 0.34 | 2008 |
Implementing application-specific object-oriented theories in HOL | 3 | 0.41 | 2005 |
Collaboration-based verification of Object-Oriented models in HOL | 0 | 0.34 | 2004 |