Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
- 2 February 2018
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical SystemsIEEE Transactions on Software Engineering, 2018
- Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification SystemInformation Processing Letters, 2016
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid SystemsPublished by Springer Science and Business Media LLC ,2015
- ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2014
- GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAsJournal of Systems Architecture, 2013
- The Functional Mockup Interface for Tool independent Exchange of Simulation ModelsPublished by Linkoping University Electronic Press ,2011
- Co-simulation of embedded systems in a heterogeneous MoC-based modeling frameworkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Vienna Development MethodPublished by Wiley ,2008
- Aircraft Trajectory Modeling and Alerting Algorithm VerificationLecture Notes in Computer Science, 2000
- Elements of mathematical analysis in PVSLecture Notes in Computer Science, 1996