3228 search results - page 104 / 646 » Computationally Sound Proofs |
APAL
2010
13 years 9 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
KI
2010
Springer
13 years 3 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
MPC
1995
Springer
14 years 14 days ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
TLCA
2009
Springer
14 years 1 months ago
2009
Springer