1902 search results - page 19 / 381 » Differential Dynamic Logics |
116
click to vote
AISC
2004
Springer
15 years 5 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
123
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
90
Voted
BC
2008
15 years 2 months ago
2008
Recently, several two-dimensional spiking neuron models have been introduced, with the aim of reproducing the diversity of electrophysiological features displayed by real neurons w...
124
click to vote
VSTTE
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
96
Voted
EUSFLAT
2009
14 years 11 months ago
2009
