Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319249520, 9783319249537
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal Verification of Infinite-State BIP Models

2015 ◽  
pp. 326-343 ◽  
Author(s):  
Simon Bliudze ◽  
Alessandro Cimatti ◽  
Mohamad Jaber ◽  
Sergio Mover ◽  
Marco Roveri ◽  
...  
Keyword(s):  
Formal Verification ◽  
Infinite State

scholarly journals A Contextual Equivalence Checker for IMJ*

2015 ◽  
pp. 234-240 ◽  
Author(s):  
Andrzej S. Murawski ◽  
Steven J. Ramsay ◽  
Nikos Tzevelekos
Keyword(s):  
Contextual Equivalence

scholarly journals Marimba: A Tool for Verifying Properties of Hidden Markov Models

2015 ◽  
pp. 201-206
Author(s):  
Noé Hernández ◽  
Kerstin Eder ◽  
Evgeni Magid ◽  
Jesús Savage ◽  
David A. Rosenblueth
Keyword(s):  
Hidden Markov Models ◽  
Markov Models ◽  
Hidden Markov

scholarly journals Decidability of the Reachability for a Family of Linear Vector Fields

2015 ◽  
pp. 482-499 ◽  
Author(s):  
Ting Gan ◽  
Mingshuai Chen ◽  
Liyun Dai ◽  
Bican Xia ◽  
Naijun Zhan
Keyword(s):  
Vector Fields ◽  
Linear Vector

Formal Verification of Simulink/Stateflow Diagrams

2015 ◽  
pp. 464-481 ◽  
Author(s):  
Liang Zou ◽  
Naijun Zhan ◽  
Shuling Wang ◽  
Martin Fränzle
Keyword(s):  
Formal Verification

scholarly journals Trace Diagnostics Using Temporal Implicants

2015 ◽  
pp. 241-258 ◽  
Author(s):  
Thomas Ferrère ◽  
Oded Maler ◽  
Dejan Ničković
Load More ...
Sign in / Sign up

Export Citation Format

Share Document