CALCO
2007
Springer
13 years 8 months ago
2007
Springer
MPC
2010
Springer
13 years 8 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
MPC
2010
Springer
13 years 8 months ago
2010
Springer
ITP
2010
13 years 8 months ago
2010
ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes
CASC
2005
Springer
13 years 8 months ago
2005
Springer
ASMTA
2010
Springer
13 years 8 months ago
2010
Springer
ITP
2010
13 years 8 months ago
2010
ITP
2010
13 years 8 months ago
2010
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
ITP
2010
13 years 8 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
ITP
2010
13 years 8 months ago
2010
