Counter Simulations via Higher Order Quantifier Elimination: a preliminary report
Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations. In this work, we supply logical foundations to this practice, by a specifically designed technique for second order quant...
Main Authors: | Silvio Ghilardi, Elena Pagani |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2017-12-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1712.01487v1 |
Similar Items
-
Quantifying non-ergodicity of anomalous diffusion with higher order moments
by: Maria Schwarzl, et al.
Published: (2017-06-01) -
Formalizing Constructive Quantifier Elimination in Agda
by: Jeremy Pope
Published: (2018-07-01) -
Improvements in CAD-based quantifier elimination /
by: Hong, Hoon
Published: (1990) -
Quantifying the impact of scholarly papers based on higher-order weighted citations.
by: Xiaomei Bai, et al.
Published: (2018-01-01) -
Simulation of Higher-Order Electrical Circuits with Stochastic Parameters via SDEs
by: BRANCIK, L., et al.
Published: (2013-02-01)