227 search results - page 46 / 46 » A Model Theory for Paraconsistent Logic Programming |
179
click to vote
ANSOFT
2002
15 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
151
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...