Formal Verification of Transportation Systems Download pdf Tags: compositional reasoning formal verification model checking CPS Domains Transportation Automotive CPS Technologies Architectures Foundations Modeling Validation and Verification 2014 2014 National Workshop on Transportation CPS Publications Position Paper Academia CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Hao Zheng on Thu, 02/20/2014 - 10:07