Books /Computer Aided Verification: Emerging Trends
BROWSE BY
- Artificial Intelligence - Artificial Intelligence
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Biochemistry
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Bioinformatics
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Biological Sciences
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Biotechnology
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Cell Biology
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Computational Biology
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Evolutionary and Developmental Biology
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Genetics
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Molecular Biology and Microbiology
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Proteins
- Biological Science, Biochemistry, Genetics, Biotechnology, Molecular Biology, Microbiology and Immunology - Immunology
- Botany, Plant Science and Agriculture - Agricultural Sciences
- Botany, Plant Science and Agriculture - Agronomy and Crops
- Botany, Plant Science and Agriculture - Botany and Plant Science
- Botany, Plant Science and Agriculture - Fisheries and Aquaculture
- Botany, Plant Science and Agriculture - Livestock Management and Dairy Farming
- Botany, Plant Science and Agriculture - Plant Pathology
- Botany, Plant Science and Agriculture - Soil Science
- Botany, Plant Science and Agriculture - Water Management
- Botany, Plant Science and Agriculture - Food Industry
- Botany, Plant Science and Agriculture - Horticulture
- Chemistry - Alloys
- Chemistry - Analytical Chemistry
- Chemistry - Ceramics
- Chemistry - Chemistry
- Chemistry - Composite Materials
- Chemistry - Environmental Chemistry
- Chemistry - Inorganic Chemistry
- Chemistry - Materials Science and Engineering
- Chemistry - Metallurgy
- Chemistry - Nanomaterials
- Chemistry - Organic Chemistry
- Chemistry - Physical Chemistry
- Chemistry - Polymers
- Chemistry - Spectroscopy
- Chemistry - Materials Science
- Civil Engineering - Civil Engineering
- Civil Engineering - Earthquake Engineering
- Civil Engineering - Transport Engineering
- Commerce, Management and Economics - Accounting and Finance
- Commerce, Management and Economics - Business Management
- Commerce, Management and Economics - Economics
- Commerce, Management and Economics - Entrepreneurship
- Commerce, Management and Economics - Human Resource Management
- Commerce, Management and Economics - Management
- Commerce, Management and Economics - Marketing Management
- Commerce, Management and Economics - Supply Chain Management
- Computer Science & Information Technology - Artificial Intelligence
- Computer Science & Information Technology - Computer Science
- Computer Science & Information Technology - Human Computer Interaction
- Computer Science & Information Technology - Information Technology and Management
- Computer Science & Information Technology - Multimedia Technology
- Computer Science & Information Technology - Software Engineering
- Education - Education
- Education - E-Learning, Knowledge Management and Education Research
- Education - Library Science
- Electric Vehicles - Electric Vehicles
- Electronics and Communication & Electrical Engineering - Electrical Engineering
- Electronics and Communication & Electrical Engineering - Electronic Engineering
- Electronics and Communication & Electrical Engineering - Lasers and Sensors
- Electronics and Communication & Electrical Engineering - Mobile, Wireless and Telecommunications Engineering
- Electronics and Communication & Electrical Engineering - Optics
- Electronics and Communication & Electrical Engineering - Power Electronics
- Environmental Science - Alternative Energy
- Environmental Science - Biofuels
- Environmental Science - Climate and Weather
- Environmental Science - Ecology and Ecosystems
- Environmental Science - Energy
- Environmental Science - Environmental Science and Engineering
- Environmental Science - Forestry
- Environmental Science - Greenhouse Gas
- Environmental Science - Hydrology
- Environmental Science - Petroleum Engineering
- Environmental Science - Pollution
- Environmental Science - Renewable Energy
- Environmental Science - Sustainable Development
- Environmental Science - Waste Management
- Environmental Science - Marine Biology
- Food Science, Health and Nutrition - Food Science
- Food Science, Health and Nutrition - Nutrition
- Geography, Geology and Earth Science - Astronomy and Astrophysics
- Geography, Geology and Earth Science - Atmospheric Sciences
- Geography, Geology and Earth Science - Climatology
- Geography, Geology and Earth Science - Disaster Management
- Geography, Geology and Earth Science - Earth and Planetary Sciences
- Geography, Geology and Earth Science - Geography
- Geography, Geology and Earth Science - Geology and Geosciences
- Geography, Geology and Earth Science - Mining Engineering and Mineralogy
- Geography, Geology and Earth Science - Oceanography and Aquatic Ecology
- Geography, Geology and Earth Science - Remote Sensing
- History and Archaeology - Archaeology
- History and Archaeology - History
- IOT - IOT
- Journalism and Mass Communication - Media and Communication Studies
- Language, Literature and Linguistics - English Language and Learning
- Language, Literature and Linguistics - Language and Linguistics
- Language, Literature and Linguistics - Literature
- Law, Criminology and Forensics - Law
- Mathematics and Statistics - Differential Equations
- Mathematics and Statistics - Mathematics
- Mathematics and Statistics - Numerical Analysis
- Mathematics and Statistics - Probability and Statistics
- Mechanical Engineering - Aerospace Engineering
- Mechanical Engineering - Heat Transfer
- Mechanical Engineering - Industrial Engineering
- Mechanical Engineering - Mechanical Engineering
- Mechanical Engineering - Nanotechnology
- Mechanical Engineering - Railway Engineering
- Mechanical Engineering - Robotics
- Mechanical Engineering - Systems and Control Engineering
- Mechanical Engineering - Tribology
- Medical Science - Ageing
- Medical Science - Bacteriology
- Medical Science - Bioethics
- Medical Science - Cardiology
- Medical Science - Complementary and Alternative Medicine
- Medical Science - Dentistry
- Medical Science - Dermatology
- Medical Science - Diagnostic Imaging
- Medical Science - Emergency Medicine
- Medical Science - Endocrinology & Metabolism
- Medical Science - Gastroenterology
- Medical Science - Genetic Disorder
- Medical Science - Gynaecology & Obstetrics
- Medical Science - Health Care
- Medical Science - HIV & AIDS
- Medical Science - Immunology
- Medical Science - Infectious Diseases
- Medical Science - Medical & Life Science
- Medical Science - Medical Genetics
- Medical Science - Medical Microbiology
- Medical Science - Neuroscience & Neurology
- Medical Science - Oncology
- Medical Science - Ophthalmology
- Medical Science - Orthopedics, Physical Medicine and Rehabilitation
- Medical Science - Otolaryngology
- Medical Science - Pediatrics
- Medical Science - Psychiatry
- Medical Science - Public Health
- Medical Science - Pulmonology & Respiratory Diseases
- Medical Science - Surgery
- Medical Science - Urology
- Medical Science - Endocrinology, Metabolism & Diabetes
- Medical Science - Clinical Nutrition and Dietetics
- Medical Science - Hematology
- Medical Science - Nursing
- Medical Science - Rheumatology
- Medical Science - Stem Cell Research
- Medical Science - Ageing and Geriatric Medicine
- Medical Science - Emergency Medicine & Critical Care
- Medical Science - Gastroenterology and Hepatology
- Medical Science - Tissue Engineering and Regenerative Medicine
- Medical Science - Health Care and Medical Technology
- Medical Science - Nephrology
- Pharmaceutical Sciences - Pharmaceutical Sciences
- Pharmaceutical Sciences - Pharmacology and Pharmaceutical Sciences
- Pharmaceutical Sciences - Anesthesiology
- Pharmaceutical Sciences - Toxicology
- Philosophy and Religion - Philosophy
- Philosophy and Religion - Religion
- Physical Education, Sports and Rehabilitation - Sports and Rehabilitation Medicine
- Physics - Condensed Matter Physics
- Physics - Electromagnetic Radiation
- Physics - Mathematical Physics
- Physics - Particle Physics
- Physics - Physics
- Physics - Plasma Physics
- Physics - Quantum Mechanics
- Physics - Acoustics
- Physics - Chemical Physics
- Physics - Thermodynamics
- Physics - Astronomy and Astrophysics
- Political Science - Political Science
- Psychology - Psychology
- Robotics - Robotics
- Sociology - Anthropology
- Sociology - Sociology
- Tourism and Hotel Management - Tourism, Hotel and Hospitality
- Tourism and Hotel Management - Tourism and Hotel Management
- Veterinary Science and Medicine - Veterinary Science and Medicine
- Vocational Education, Skill Development and Career Planning - Vocational Education, Skill Development and Career Planning
- Vocational Education, Skill Development and Career Planning - Vocational Education
- Zoology and Animal Science - Zoology and Animal Science
- Aaron Clark
- Aaron Jackson
- Abagail Baldwin
- Abbie Chavez
- Abby Cusack
- Abigail Davis
- Abraham Miller
- Abram Ross
- Ada Hastings
- Ada Miller
- Adaline Cerny
- Adam Foster
- Adam Reid
- Adam Sanborne
- Addison Holmes
- Addison Mullins
- Adelaide Holbrook
- Adelina Cooper
- Adler Bryant
- Adrian Brown
- Agnes Nolan
- Aisha McCullough
- Alaina Wilson
- Alan Fraser
- Alana Stewart
- Albert Dickinson
- Albert Douglas
- Albert Martin
- Alex Edwards
- Alexa Crutcher
- Alexander Austin
- Alexandre Cunningham
- Alexia Fisher
- Alexis Crum
- Alexis Fletcher
- Alexis White
- Alfie Davies
- Alfie Thomas
- Alfred Carter
- Alfred Scott
- Alice Martin
- Alice Morgan
- Alicia Dexter
- Alicia Knight
- Alistair Sutherland
- Alivia Holder
- Allen Davies
- Allie Weaver
- Allison Sergeant
- Amanda Wegener
- Amelia Brooks
- Amelia Schultz
- Amy Nelson
- Anabella Frost
- Anabelle Holmes
- Andreas Hobbs
- Andrew Cooper
- Angel Santi
- Angela Nunez
- Angeline Gleason
- Angie Klein
- Angus Wilkinson
- Anna Hunt
- Anna Nelson
- Anna Roberts
- Anna White
- Anne Woolf
- Annette Stone
- Anthony Burton
- Anton Torres
- Archie Clark
- Archie Harless
- Ariana Nelson
- Ariel Payton
- Arlo Collier
- Arthur Gray
- Arthur Saunders
- Artie Weissberg
- Ash Corbett
- Asher Hill
- Ashley Barnett
- Ashley Crawford
- Ashley Scott
- Aston Holder
- Astrid Bailey
- Aubree Webster
- Aubrey Hopper
- Austin Campbell
- Austin Flores
- Austin Murphy
- Autumn Hess
- Ava Gibson
- Avah Hunter
- Avery Hickman
- Avery Nash
- Avid Bale
- Bailey Graham
- Bailey Harding
- Barney Cooper
- Barry Day
- Bartemius Woodard
- Bathilda Silva
- Beatrice Pollard
- Beckham Hill
- Benjamin Cook
- Benjamin Green
- Benjamin Murray
- Benjamin Schultz
- Bernard Yates
- Bethany Crawford
- Bethany Ferguson
- Betty Reads
- Bill Fraley
- Bill Musk
- Binnie Pattinson
- Blake Hughes
- Bob Tucker
- Boris Vega
- Bradley Lewis
- Brandon Hopkins
- Brandon Reeves
- Branson Scott
- Brendan Ferguson
- Brett Harris
- Brett Rice
- Brian Benson
- Brian Keathley
- Brianna Cox
- Brie Madsen
- Brielle Cross
- Brock Hagan
- Brock James
- Bruce Booth
- Bruce Goodwin
- Bryan Templeton
- Bryan Winn
- Bryce Carroll
- Calanthia Wright
- Caleb Shaw
- Callen Lucas
- Calum Blackwell
- Calvin Zimmerman
- Cameron Harris
- Cameron James
- Cameron Johnson
- Camila Thompson
- Carl Burt
- Carla Weber
- Carlos Owen
- Carolina Murray
- Caroline Anderson
- Caroline Walters
- Carter Roberts
- Casper Ford
- Catalina Evans
- Catherine Green
- Catherine Lewis
- Catherine Waltz
- Cayson Carter
- Cecilia Danton
- Cecilia McCurdy
- Celine Kennedy
- Chad Urquhart
- Charles Andrews
- Charles Wade
- Charlie Taylor
- Charlotte Johnson
- Cherilyn Gray
- Chloe Hill
- Chloe Miller
- Chris Patterson
- Chris Ray
- Christian Green
- Christian West
- Christine Webb
- Christopher Maxwell
- Claire Adams
- Clara Simon
- Claudia Dalton
- Claudia Sherwood
- Clifford Coleman
- Clive Moran
- Cody Rhodes
- Collin Shephard
- Connie Holt
- Cooper Grant
- Corbin Mitchell
- Craig Connor
- Craig Smith
- Craig Zodikoff
- Cyaden Ross
- Cyrus Peterson
- Daisy Mathews
- Daisy Robinson
- Daisy Scott
- Daniel Fletcher
- Daniel Harris
- Daniel King
- Daniel McGuire
- Daphne Boyd
- Darren Michaels
- Darwin Finnegan
- Darwin Miller
- Davian Henderson
- David Cohen
- David Holland
- David McCartney
- David Young
- Deacon Palmer
- Declan Hernandez
- Dennis Freeman
- Dennis Schwartz
- Devin Taylor
- Diana McCarthy
- Diane Sabatini
- Dilan Thomas
- Dominic Brady
- Dominik Barker
- Donald Miles
- Donald Shaffer
- Donnie Stallone
- Donovan Douglas
- Douglas Rodriquez
- Douglas Taylor
- Douglas Walsh
- Draco Oldman
- Dwayne Lester
- Dwayne Wilson
- Dylan Rush
- Earl Sampson
- Eddard Carney
- Eden Sparks
- Edgar Crombie
- Edgar Miller
- Edgar Perkins
- Edison Harrison
- Edward Ackles
- Edward Parker
- Edward Walker
- Edwin Simpson
- Ela Dean
- Eldon Dixon
- Elena Poole
- Eli Hill
- Elijah Baxter
- Elijah Grant
- Elijah Stevans
- Elina Stevens
- Eliza Harris
- Eliza Harrison
- Eliza Melton
- Elizabeth Ingram
- Elizabeth Morgan
- Elizabeth Simpson
- Elizabeth Stephenson
- Elly Campbell
- Elsa Harrington
- Elsa Hughes
- Elsa Jones
- Emelia Mitchell
- Emerson Haynes
- Emily McLaughlin
- Emily Peterson
- Emma Clark
- Emma Hixon
- Emma Wilson
- Emmett Norton
- Emmett Sloan
- Eric Buchanan
- Eric Parker
- Eric Scott
- Erik Coleman
- Erin Michael
- Erina Jimenez
- Ernie Grantham
- Esther Williams
- Evan Adams
- Eve Boulonne
- Evelyn Stewart
- Evie Hughes
- Ezekiel Wilson
- Ezra Dixon
- Felicity Bolton
- Felicity Darko
- Felix Cliburn
- Felix Sampson
- Fernando Morrison
- Finn Cooper
- Fiona Atkinson
- Fiona Palmer
- Fiona Richard
- Fisher Lloyd
- Florence Johnston
- Francesca Hopkins
- Frank Gregory
- Franklin Stewart
- Fred Collins
- Fred Peck
- Frederick Allen
- Frederick Green
- Fredrick Robinson
- Freya Owen
- Freya Phillips
- Freya Williams
- Frieda Bush
- Gabriel Craig
- Gabrielle Reid
- Geoffrey Rubay
- George Morris
- Georgia Hunt
- Gerald Brooks
- Gerald Kennedy
- Gerardo Bailey
- Gilbert Holmes
- Goldfrey Edwards
- Gordon Shaw
- Grace Murphy
- Gracie Mckenzie
- Graham Craig
- Grayson Rogers
- Greg Pearson
- Greg Powell
- Gregory Hamilton
- Gustav Solomon
- Hallie McHugh
- Hannah Clark
- Harison Bailey
- Harlan Kennedy
- Harlee Knight
- Harley Sweeney
- Harley Wells
- Harold Anderson
- Harry Garrison
- Harry Garvin
- Harry Watts
- Hart Scott
- Harvey Drouelle
- Hayley Atkins
- Hazel Hill
- Hazel Johnson
- Heather Dale
- Heather Lee
- Heather Moore
- Helen Mason
- Helena Shelton
- Hilda Saffari
- Holly Philips
- Horatio Finley
- Horton Murphy
- Hubert Parks
- Hudson Cole
- Hudson Culver
- Hudson Pearce
- Hudson Turner
- Hudson Webb
- Hugh Bryant
- Hugh Freeman
- Hugh Miller
- Hugo Hodges
- Hunter Cox
- Hunter Dawson
- Ian Diego
- Irene Wright
- Iris Moore
- Irving Russo
- Isaac Anderson
- Isaac Andrews
- Isaac Mitchell
- Isabel Myers
- Isabella Edwards
- Isabella Ross
- Isabelle Mullins
- Isabelle Taylor
- Isla Cooper
- Isla Harvey
- Ivana Hall
- Jack Walker
- Jack Wallace
- Jackson Lawrence
- Jackson Smith
- Jacob Pearson
- Jacob Wilson
- Jaden Baker
- Jaden Patterson
- Jake Burns
- Jake Collins
- Jake Morrison
- Jake Williams
- James Allen
- James Andrews
- James Bellamy
- James Thatcher
- Jameson Kemp
- Jamie Churchill
- Jamie White
- Janice Jacobs
- Jaron Finley
- Jasmine Harris
- Jasmine Johnson
- Jasper Bates
- Jaxon Parry
- Jaxson Peterson
- Jay Rhodes
- Jed Dodge
- Jeff Campbell
- Jeff Smith
- Jensen Wallace
- Jenson Gordon
- Jeremy Rogerson
- Jerome Holyfield
- Jerry Bryant
- Jerry Clark
- Jerry Larson
- Jessica Hearst
- Jett Jacob
- Jhonny Hill
- Jim Forrest
- Jim Williams
- Joanna Carter
- Joaquin Napier
- Joe Harris
- Joe Myers
- Joey Gallegos
- Johana Meyer
- Johann Casini
- John Edwards
- John Fenmore
- John Hopkins
- John McConnell
- John Willis
- Johnny Lopez
- Jonah Lyons
- Jonathan Cook
- Jonathan Davidson
- Jonathan Hunter
- Jonathan Lewis
- Jorge Bobadilla
- Joseph Clarke
- Joseph Curtis
- Josh Owen
- Joshua Walters
- Josiah Robinson
- Josie Sparks
- Jude Harris
- Judy Dickens
- Julia Pennyworth
- Julian Simpson
- Julie Butchko
- Julie Eidsvoog
- Justin Bailey
- Justin Jackson
- Justin Richmond
- Jute Cassie
- Kaden Scott
- Kale Stewart
- Kaleb Lynch
- Kallie Morgan
- Kalus Wagner
- Kanye Dickey
- Karen Burnett
- Karen McLarty
- Karly Lundberg
- Karolina Jensen
- Karoline Hodge
- Kate Law
- Kate Timberlake
- Katherine Wilson
- Kathryn Davidson
- Katie Miles
- Kayla Cox
- Kaylie Palmer
- Keira Burgess
- Kelly Davidson
- Kelvin Bennett
- Kendrick Porter
- Kenneth Coleman
- Kenzie Cole
- Kenzie Payne
- Kevin Bowen
- Kevin Matthews
- Kevin Sterling
- Kiara Woods
- Kingsley Cooper
- Kirby Holland
- Kolton Warner
- Kristeen Marlowe
- Kristina Camarillo
- Kylan Russell
- Kyle Oliver
- Kylie Joseph
- Lancaster Mason
- Larry Madison
- Lauren Barrett
- Lauren Davies
- Lauren Dixon
- Lauren Duncan
- Laurence Booth
- Lawrence Caudle
- Lawson Williams
- Leah Thompson
- Leesa Gordon
- Leo Marshall
- Leo Morris
- Leonardo Reeves
- Leonel Ware
- Leroy Campbell
- Lesley Easton
- Lester Bane
- Lester Jacob
- Lewis Allison
- Lexi Taylor
- Leyla Monique
- Lily Hill
- Linda Maxwell
- Lisa Jordan
- Lisa Roman
- Lisa Scott
- Lisa Velez
- Lisha Ortega
- Lizzette Schott
- Logan Foster
- Logan Kelly
- Lon Bender
- London Stevens
- Louis Henry
- Louis Murphy
- Lucas Gordon
- Lucas Morgan
- Luke Hunter
- Luke Moore
- Lydia Stephens
- Madeleine Donovan
- Madelyn Jackson
- Malcolm Cale
- Malcolm Clark
- Malia Thompson
- Malissa Gonzales
- Marc Thatcher
- Marci Battles
- Marco White
- Marcus Hart
- Margot Morris
- Margret Mattson
- Maria Harris
- Maria Muray
- Maria Wood
- Marina Fox
- Mark Cook
- Marley Barnes
- Marshall Roy
- Martin Brooks
- Martin Green
- Mary D’souza
- Mary Holmes
- Mateo Chaney
- Matthew Mungle
- Matthew Perez
- Matthew Ryder
- Maverick Davies
- Maverick MacMillan
- Max Corbyn
- Max Hall
- Max White
- Maxton Johnson
- May Hooper
- Melissa Finch
- Melissa Gould
- Mercy Rogers
- Mervin Williamson
- Michael Mandaville
- Michelle Jacobs
- Michelle Randall
- Mick Adams
- Mick Benson
- Mila Powers
- Milan Collins
- Miles Wilson
- Miley Whitaker
- Milford Cameron
- Mitch Hoppe
- Mitchel Garth
- Monica Slater
- Morgan Stack
- Myla Dickinson
- Nancy Hunt
- Nash Stokes
- Natalie Coffman
- Natalie Mitchell
- Natalie Ramsey
- Natalie Spagner
- Nate Manning
- Nathan Rice
- Nathaniel Gordon
- Neil Hopkins
- Nelia Whitmire
- Nelson Palmer
- Nicholas Greyson
- Nicholas McDowell
- Nichole Hudson
- Nicolas Hudson
- Nicolas Rubio
- Nicolas Webb
- Nina Clarke
- Nina Goldman
- Noah Dawson
- Nyla Shelton
- Olive Young
- Oliver Armstrong
- Oliver Fincher
- Olivia Hunt
- Olivia Johnson
- Olivia Price
- Orlando Johnston
- Oscar Roberts
- Otis Monroe
- Otis Thompson
- Otto Ward
- Owen Collins
- Owen Richardson
- Pablo Kennedy
- Page Pollard
- Patricia Coleman
- Patricia Jackson
- Patrick Garter
- Patrick Helberg
- Patrick Lees
- Patrick McCann
- Paul Jaxon
- Paul Walker
- Paula Andrew
- Pearl Murphy
- Percy Wiley
- Peter Bay
- Peter Hayes
- Peter Lewis
- Peter Madison
- Peter Stone
- Philip Frost
- Philip Mantle
- Philip Parsons
- Phoebe Hill
- Piers Corbyn
- Rachel Williams
- Raelynn Webster
- Rafael Wagner
- Ralph Hawkins
- Ralphie Clark
- Raven Brennan
- Ray McIntyre
- Reagan Perry
- Rebecca Matthews
- Regan Newman
- Remi Dalton
- Remi Ford
- Remus Fischer
- Remy Bowen
- Richard Hamilton
- Richard Hoover
- Richard Kamins
- Richard Wright
- Ricky Cole
- Ricky Collier
- Robert Bennett
- Robert Brown
- Robert Curtis
- Robert Fechtman
- Robert Jones
- Robert Martin
- Robert Parle
- Robin Davidson
- Robin Keeney
- Robin Piper
- Robyn Parker
- Rodrigo Holt
- Roland Jackson
- Roman Brown
- Roman Morris
- Ron Ashmore
- Ron Gadoury
- Ronald McElroy
- Ronin Massey
- Ronnie Turner
- Rory Nolan
- Rory Peterson
- Rosanna Mojica
- Rosario Harrington
- Rose Mills
- Rose Williams
- Rowan Payne
- Rubie Dunlap
- Rudy Ford
- Rupert Irwin
- Russell Mikel
- Ryan Cooper
- Ryan Jaxon
- Ryan Wright
- Sam Kennedy
- Sam Marshall
- Samantha Matthews
- Samantha Sanders
- Samantha Walters
- Samuel Armstrong
- Samuel Brooks
- Samuel Green
- Samuel Wallace
- Sandra Feijoo
- Sara Langer
- Sara Wayne
- Sarah Lashley
- Sarah Woods
- Scarlet Davidson
- Scarlett Gurley
- Scarlett Jaxon
- Scarlett Jones
- Scott Simmons
- Seamus Huffman
- Sebastin McClure
- Selena Hudson
- Serena Robinson
- Seth Xavier
- Shane Eakin
- Shane Richards
- Shannon Thompson
- Sharon Manuel
- Shaun Ortega
- Shawanna Barker
- Shawn Guy
- Shelby Parrish
- Sherron Hensen
- Sidney Ashworth
- Silas Kearns
- Simon Bruce
- Simon Miller
- Simon Oakenfold
- Simon Rose
- Skyler Hopkins
- Smith Torres
- Solange Schwalbe
- Sophia Hall
- Sophia Martin
- Sophie Roberts
- Spencer Brooks
- Stacy Keach
- Stanley Harmon
- Stella Mara
- Stella Osborne
- Stephan Blackwood
- Stephanie Collins
- Stephanie Harris
- Stephen Adams
- Stephen Brooke
- Steve Dierkens
- Steve Garter
- Steve Suh
- Summer Murphy
- Summer Watson
- Susan Cooley
- Susan Jennifer
- Susan Malone
- Sydney Bruce
- Sylvester Carey
- Talia Gomez
- Tami Clawson
- Taryn Solomon
- Taylor Watson
- Ted Sharp
- Ted Smith
- Teddy Reynolds
- Terry Bailey
- Thelma Bosso
- Theodore Hoffman
- Thomas Carrey
- Thomas Flynn
- Thomas Shaw
- Thomas Wood
- Tim Bryant
- Tim Hopkins
- Timothy Cairns
- Timothy Sawyer
- Tobias Boyle
- Toby Simpson
- Tom Dixon
- Tosha Mccallum
- Travis Summers
- Trinity McAllister
- Tristan Carson
- Tyler Keating
- Vanessa Jones
- Vanessa Stafford
- Vanessa Turner
- Vasilios Tanis
- Veronica Sutton
- Victor Schutz
- Victoria Mcgregor
- Vince Clinton
- Vincent Jackson
- Vincent Perkins
- Virginia Wordsworth
- Vivian Baldwin
- Wesley Keller
- Weston Clarke
- William Cox
- William Sobol
- Williams Douglas
- Williams Gerald
- Xavier Parsons
- Zach Vaughn
- Zachary Bell
- Zander Atkinson
- Zander Luther
- Zane Bradley
- Zeke Adams
- Zoe Lucas
- Zoey Watson
Computer Aided Verification: Emerging Trends
ISBN
9781639876938
Author
Tyler Keating
Publisher
Murphy & Moore Publishing
Language
English
Publication Year
2023
Category :
Computer Science & Information Technology - Computer Science
Price
$ 157.99
Description
Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems. The goal is to create a mathematical model of a system and then attempt to prove its formal properties that either helps in detecting bugs or certifies the system's correctness. The proofs might be millions of lengthy lines, thereby specifically designed computer algorithms are utilized to find and verify them. This book unravels the recent studies on computer aided verification. It consists of contributions made by international experts. The book will help the readers in keeping pace with the rapid changes and emerging trends in this field of computer science.
