An Open Alternative for SMT-Based Verification of Scade Models (English)
- New search for: Basold, Henning
- New search for: Günther, Henning
- New search for: Huhn, Michaela
- New search for: Milius, Stefan
- New search for: Basold, Henning
- New search for: Günther, Henning
- New search for: Huhn, Michaela
- New search for: Milius, Stefan
In:
Formal Methods for Industrial Critical Systems
;
124-139
;
2014
- Article/Chapter (Book) / Electronic Resource
-
Title:An Open Alternative for SMT-Based Verification of Scade Models
-
Contributors:Basold, Henning ( author ) / Günther, Henning ( author ) / Huhn, Michaela ( author ) / Milius, Stefan ( author )
-
Published in:Lecture Notes in Computer Science ; 8718 ; 124-139
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2014-01-01
-
Size:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Formal Verification of Steady-State Errors in Unity-Feedback Control SystemsAhmad, Muhammad / Hasan, Osman et al. | 2014
- 16
-
Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor InterfaceNguyen, Thang / Ničković, Dejan et al. | 2014
- 33
-
Analysis of Real-Time Properties of a Digital Hydraulic Power Management SystemBoström, Pontus / Alexeev, Petr / Heikkilä, Mikko / Huova, Mikko / Waldén, Marina / Linjama, Matti et al. | 2014
- 48
-
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-ChipZhang, Zhen / Serwe, Wendelin / Wu, Jian / Yoneda, Tomohiro / Zheng, Hao / Myers, Chris et al. | 2014
- 63
-
Formal Specification and Verification of TCP Extended with the Window Scale OptionLockefeer, Lars / Williams, David M. / Fokkink, Wan J. et al. | 2014
- 78
-
Learning Fragments of the TCP Network ProtocolFiterău-Broştean, Paul / Janssen, Ramon / Vaandrager, Frits et al. | 2014
- 94
-
On the Validation of an Interlocking System by Model-CheckingBonacchi, Andrea / Fantechi, Alessandro et al. | 2014
- 109
-
Deadlock Avoidance in Train Scheduling: A Model Checking ApproachMazzanti, Franco / Spagnolo, Giorgio Oronzo / Longa, Simone / Ferrari, Alessio et al. | 2014
- 124
-
An Open Alternative for SMT-Based Verification of Scade ModelsBasold, Henning / Günther, Henning / Huhn, Michaela / Milius, Stefan et al. | 2014
- 140
-
Improving Static Analyses of C Programs with Conditional PredicatesBlazy, Sandrine / Bühler, David / Yakobowski, Boris et al. | 2014
- 155
-
Detecting Consistencies and Inconsistencies of Pattern-Based Functional RequirementsEllen, Christian / Sieverding, Sven / Hungar, Hardi et al. | 2014
- 170
-
Test Specification Patterns for Automatic Generation of Test SequencesGentile, Ugo / Marrone, Stefano / Mele, Gianluca / Nardone, Roberto / Peron, Adriano et al. | 2014
- 185
-
Randomised Testing of a Microprocessor Model Using SMT-Solver State GenerationCampbell, Brian / Stark, Ian et al. | 2014