Buscar
Mostrando ítems 21-30 de 5090
We the People Outside of the Constitution: The Dialogic Model of Constitutionalism and the System of Checks and Balances
(Oxford University Press, 2014-08)
All over the world, constitutional theory has been experiencing developments which have been studied under the rubric of dialogic constitutionalism , dialogic justice or dialogic judicial review. These novelties seem to ...
Formal Verification of Distributed System Using an Executable C Model
(2016)
Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...
Evaluation of Markov Models for Architecture Conformance Checking
(Institute of Electrical and Electronics Engineers, 2020-01)
Conformance between architecture and implementation is a key aspect of architecture-centric development. However, the architecture as documented and the architecture as implemented tend to diverge from each other over time. ...
Verification of symmetric models using semiautomatic abstractions
(Universidade Federal de Minas GeraisUFMG, 2010-06-21)
Model Checking is a powerful method for the formal verification of concurrent systems. It explores automatically the state-space of a model that represents the system to prove its correctness in relation to formal ...
A Symbolic model for timed concurrent constraint programming
(Elsevier, 2015)