2586 search results - page 1 / 518 » Automatic Abstraction for Congruences |
90
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
c Abstraction for Congruences A Story of Beauty and the Beast Andy King and Harald S?ndergaard Portcullis Computer Security University of Melbourne g and Harald S?ndergaard Automat...
113
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
107
Voted
ANTS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. A description and an example are given of numerical experiments which look for a relation between modular forms for certain congruence subgroups of SL(3, ZZ) and Galois r...
91
Voted
ANTS
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper describes a method for computing the fundamental unit and regulator of a purely cubic congruence function field of unit
105
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...