65 search results - page 4 / 13 » Parameterised Boolean Equation Systems (Extended Abstract) |
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
SIAMMA
2010
13 years 3 months ago
2010
Abstract. We develop the theory of degenerate and nonlinear evolution systems in mixed formulation. It will be shown that many of the well-known results for the stationary problem ...
STACS
2005
Springer
14 years 2 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
FDL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...