Listing 1 - 10 of 18 | << page >> |
Sort by
|
Choose an application
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Propositional calculus --- Decision making --- Computer algorithms --- Algebra, Boolean --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory --- Calculus, Propositional --- Logic, Symbolic and mathematical
Choose an application
Choose an application
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. .
Computers. --- Special purpose computers. --- Architecture, Computer. --- Microprogramming . --- Computer science—Mathematics. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Computer System Implementation. --- Control Structures and Microprogramming. --- Mathematics of Computing. --- Computer programming --- Architecture, Computer --- Special purpose computers --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Theory of Computation --- Special Purpose and Application-Based Systems --- Computer System Implementation --- Control Structures and Microprogramming --- Mathematics of Computing --- open access --- specification and verification techniques --- software and hardware verification --- SAT and SMT solving --- theorem proving --- model checking --- static and dynamic program analysis --- testing --- system construction and transformation techniques --- tool environments and tool architectures --- abstraction techniques for modeling and verification --- compositional and refinement-based methodologies --- mathematics --- software engineering --- software design --- architecting --- software architecture --- embedded systems --- automata theory --- linguistics --- Computer science --- Mathematical theory of computation --- Expert systems / knowledge-based systems --- Systems analysis & design --- Algorithms & data structures --- Maths for computer scientists --- Computer science. --- Computers, Special purpose. --- Computer systems. --- Microprogramming. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Informatics --- Science
Choose an application
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. .
Software engineering. --- Special purpose computers. --- Architecture, Computer. --- Microprogramming . --- Computer science—Mathematics. --- Software Engineering/Programming and Operating Systems. --- Special Purpose and Application-Based Systems. --- Computer System Implementation. --- Control Structures and Microprogramming. --- Mathematics of Computing. --- Computer programming --- Computer software engineering --- Engineering --- Architecture, Computer --- Special purpose computers --- Computers --- Software Engineering/Programming and Operating Systems --- Special Purpose and Application-Based Systems --- Computer System Implementation --- Control Structures and Microprogramming --- Mathematics of Computing --- open access --- specification and verification techniques --- software and hardware verification --- SAT and SMT solving --- theorem proving --- model checking --- static and dynamic program analysis --- testing --- system construction and transformation techniques --- tool environments and tool architectures --- abstraction techniques for modeling and verification --- compositional and refinement-based methodologies --- mathematics --- software engineering --- software design --- architecting --- software architecture --- embedded systems --- automata theory --- linguistics --- Software Engineering --- Operating systems --- Expert systems / knowledge-based systems --- Systems analysis & design --- Algorithms & data structures --- Mathematical theory of computation --- Maths for computer scientists --- Computers, Special purpose. --- Computer systems. --- Microprogramming. --- Software Engineering. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure
Choose an application
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
Computer software --- Verification --- Logic design. --- Software engineering. --- Computer science. --- Computer network architectures. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Formal Languages. --- Computer Systems Organization and Communication Networks. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer logic. --- Mathematical logic. --- Computer organization. --- Organization, Computer --- Electronic digital computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Machine theory. --- Computer engineering. --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Formal Languages and Automata Theory. --- Computer Engineering and Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Distributed processing --- Design and construction
Choose an application
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- ontwerpen --- computerbesturingssystemen --- programmeren (informatica) --- wiskunde --- software engineering --- OS (operating system) --- logica --- computernetwerken --- computerkunde
Choose an application
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. .
Mathematics --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- informatica --- externe fixatie (geneeskunde --- hardware --- programmeertalen --- architectuur (informatica)
Choose an application
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. .
Mathematics --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- informatica --- externe fixatie (geneeskunde --- hardware --- programmeertalen --- software engineering --- architectuur (informatica)
Choose an application
Mathematical logic --- Complex analysis --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexe analyse (wiskunde) --- wiskunde --- OS (operating system) --- logica --- robots --- numerieke analyse
Choose an application
Propositional calculus --- Decision making --- Computer algorithms --- Algebra, Boolean --- Calcul propositionnel --- Prise de décision --- Algorithmes --- Algèbre de Boole --- Congresses. --- Congrès --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Boolean algebra --- Boole's algebra --- Calculus, Propositional --- Computer science. --- Operating systems (Computers). --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Operating Systems. --- Numeric Computing. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Foundations. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Foundations --- Operating systems --- Algebraic logic --- Logic, Symbolic and mathematical --- Computer software. --- Electronic data processing. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Software, Computer --- Computer systems --- Automation --- Satisfiability testing --- Propositional calculus - Congresses. --- Decision making - Congresses. --- Computer algorithms - Congresses. --- Algebra, Boolean - Congresses. --- Machine theory. --- Formal Languages and Automata Theory. --- Numerical Analysis. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics
Listing 1 - 10 of 18 | << page >> |
Sort by
|