Total Books: 1 - 5 /5
Inconsistency Tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification ...
Lire la suite
Theory and Applications of Satisfiability Testing (vol. # 3569)
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suite
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suite
Total Books: 1 - 5 /5
