scholarly journals Abduction of trap invariants in parameterized systems

2021 ◽  
Vol 346 ◽  
pp. 1-17
Author(s):  
Javier Esparza ◽  
Mikhail Raskin ◽  
Christoph Welzel
Keyword(s):  
Parameterized Systems

Cardinalities and universal quantifiers for verifying parameterized systems

2016 ◽  
Vol 51 (6) ◽  
pp. 599-613 ◽  
Author(s):  
Klaus v. Gleissenthall ◽  
Nikolaj Bjørner ◽  
Andrey Rybalchenko
Keyword(s):  
Parameterized Systems ◽  
Universal Quantifiers

How to Compute the Refinement Relation for Parameterized Systems

2004 ◽  
pp. 181-209
Author(s):  
Françoise Bellegarde ◽  
Célina Charlet ◽  
Olga Kouchnarenko
Keyword(s):  
Parameterized Systems ◽  
Refinement Relation

Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study

2010 ◽  
pp. 392-394 ◽  
Author(s):  
Francesco Alberti ◽  
Silvio Ghilardi ◽  
Elena Pagani ◽  
Silvio Ranise ◽  
Gian Paolo Rossi
Keyword(s):  
Fault Tolerant ◽  
Parameterized Systems ◽  
Automated Support

scholarly journals Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems

2012 ◽  
pp. 718-724 ◽  
Author(s):  
Sylvain Conchon ◽  
Amit Goel ◽  
Sava Krstić ◽  
Alain Mebsout ◽  
Fatiha Zaïdi
Keyword(s):  
Model Checker ◽  
Parameterized Systems

scholarly journals Model order reduction of parameterized systems (MoRePaS)

2015 ◽  
Vol 41 (5) ◽  
pp. 955-960 ◽  
Author(s):  
Peter Benner ◽  
Mario Ohlberger ◽  
Anthony T. Patera ◽  
Gianluigi Rozza ◽  
Danny C. Sorensen ◽  
...  
Keyword(s):  
Model Order Reduction ◽  
Order Reduction ◽  
Model Order ◽  
Parameterized Systems
Sign in / Sign up

Export Citation Format

Share Document