scholarly journals Symbolic Verification of Distance Bounding Protocols

2019 ◽  
pp. 149-174 ◽  
Author(s):  
Alexandre Debant ◽  
Stéphanie Delaune
Keyword(s):  
Symbolic Verification

scholarly journals Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

2012 ◽  
Vol 77 (10-11) ◽  
pp. 1122-1150 ◽  
Author(s):  
Werner Damm ◽  
Henning Dierks ◽  
Stefan Disch ◽  
Willem Hagemann ◽  
Florian Pigorsch ◽  
...  
Keyword(s):  
Hybrid Automata ◽  
State Spaces ◽  
Discrete State ◽  
Linear Hybrid Automata ◽  
Symbolic Verification

scholarly journals A general approach to partial order reductions in symbolic verification

1998 ◽  
pp. 379-390 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Mats Kindahl ◽  
Doron Peled
Keyword(s):  
Partial Order ◽  
Symbolic Verification

scholarly journals Usage of Invariants for Symbolic Verification of Requirements

10.29007/2nr2 ◽  
2018 ◽  
Author(s):  
Alexander Letichevsky ◽  
Alexander Godlevsky ◽  
Anton Guba ◽  
Alexander Kolchin ◽  
Oleksandr Letychevskyi ◽  
...  
Keyword(s):  
Iterative Method ◽  
Reactive Systems ◽  
Consistency Properties ◽  
Double Approximation ◽  
Symbolic Verification

The paper presents the usage of invariants for symbolic verification of requirements for reactive systems. It includes checking of safety, incompleteness, liveness, consistency properties, and livelock detection. The paper describes the iterative method of double approximation and the method of undetermined coefficients for invariants generation. Benefits, disadvantages, and comparison of this technique with existing methods are considered. The paper is illustrated by examples of invariants technique usage for symbolic verification.

scholarly journals Some progress in the symbolic verification of timed automata

1997 ◽  
pp. 179-190 ◽  
Author(s):  
Marius Bozga ◽  
Oded Maler ◽  
Amir Pnueli ◽  
Sergio Yovine
Keyword(s):  
Timed Automata ◽  
Symbolic Verification

scholarly journals On Symbolic Verification of Weakly Extended PAD

2007 ◽  
Vol 175 (3) ◽  
pp. 47-64 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Jan Strejček ◽  
Tayssir Touili
Keyword(s):  
Symbolic Verification

scholarly journals Formal semantics, modular specification, and symbolic verification of product-line behaviour

2014 ◽  
Vol 80 ◽  
pp. 416-439 ◽  
Author(s):  
Andreas Classen ◽  
Maxime Cordy ◽  
Patrick Heymans ◽  
Axel Legay ◽  
Pierre-Yves Schobbens
Keyword(s):  
Formal Semantics ◽  
Product Line ◽  
Symbolic Verification

Symbolic verification and error prediction methodology

2007 ◽  
Author(s):  
Chun-Jen Wei ◽  
Guang-Huei Lin ◽  
Ya-Nan Wen ◽  
Sao-Jie Chen ◽  
Yu-Hen Hu
Keyword(s):  
Error Prediction ◽  
Symbolic Verification
Sign in / Sign up

Export Citation Format

Share Document