|
Widening (computer Science)
In computer science, especially model checking and abstract interpretation, widening refers to at least two different techniques in the analysis of abstract transition systems where infinite progressions of abstract states are replaced by a (computed or guessedAhmed Bouajjani and Tayssir Touili (2012), "Widening techniques for regular tree model checking", ''STTT'', Vol. 14, No. 2, pp. 145 -- 16/ref>) least fixed point. The use of the term in ''model checking'' is closely related to ''acceleration'' techniques, some authors reserving ''acceleration'' for exact computations.Sébastien Bardin, Alain Finkel, Jérôme Leroux and Philippe Schnoebelen, ''Flat acceleration in symbolic model checking'' (2005), Automated Technology for Verification and Analysis, pp. 474--488, Springer Intuition While many computer programs can be understood in terms of machine states and transitions (see formal semantics of programming languages), their state spaces may be too large to fully represent and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, applied disciplines (including the design and implementation of Computer architecture, hardware and Software engineering, software). Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and preventing security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
