Automatic Abstraction in Symbolic Trajectory Evaluation

Automatic Abstraction in Symbolic Trajectory Evaluation

Show other versions (2)

Bibliographic Details
Main Authors:	Adams, S, Björk, M, Melham, T, Seger, C
Format:	Conference item
Published:	IEEE 2007

Similar Items

Automatic abstraction in symbolic trajectory evaluation
by: Adams, S, et al.
Published: (2007)

Automatic Abstraction in Symbolic Trajectory Evaluation
by: Adams, S, et al.
Published: (2007)

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
by: Adams, S
Published: (2014)

Abstraction by symbolic indexing transformations
by: Melham, T, et al.
Published: (2002)

Abstraction by Symbolic Indexing Transformations
by: Melham, T, et al.
Published: (2002)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
by: Aagaard, M, et al.
Published: (1999)

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
by: Aagaard, M, et al.
Published: (2000)

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1990)

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1987)

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1988)

Learning symbolic abstractions from system execution traces
by: Yogananda Jeppu, N
Published: (2022)

Trajectory planning for automatic machines and robots /
by: 186076 Biagiotti, Luigi, et al.
Published: (2008)

A Symbolic Execution Framework for Algorithm−Level Modelling
by: Hanna, Z, et al.
Published: (2009)

Abstract: Experience with Practical Formal Verification at an Industrial Scale
by: Melham, T
Published: (2003)

The SoftPHY abstraction : from packets to symbols in wireless network design
by: Jamieson, Kyle (Kyle Andrew), 1978-
Published: (2009)

The SoftPHY Abstraction: from Packets to Symbols in Wireless Network Design
by: Jamieson, Kyle
Published: (2008)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
by: Melham, T
Published: (1989)

Automatic extraction of protein interactions from scientific abstracts
by: Thomas, J, et al.
Published: (2000)

A heuristic program that solves symbolic integration problems in freshman calculus : symbolic automatic integrator (SAINT)
by: Slagle, James R. (James Robert)
Published: (2005)

Modelling‚ abstraction‚ and computation in systems biology: A view from computer science
by: Melham, T
Published: (2015)

Automatic Vehicle Trajectory Extraction by Aerial Remote Sensing
by: Azevedo, Carlos Lima, et al.
Published: (2018)

Automatic information extraction and text mining in medical abstracts.
by: Wang, Wei.
Published: (2009)

DCG-UPUP-Away : automatic symbol acquisition through grounding to unknowns
by: Tucker, Mycal (Mycal D.)
Published: (2018)

Evaluation of Definite Integrals by Symbolic Manipulation
by: Wang, Paul S.
Published: (2023)

Evaluation of definate integrals by symbolic manipulation,
by: Wang, Paul S.
Published: (2020)

Automatic extraction of cause-effect information from medical abstracts
by: Niu, Yun.
Published: (2008)

Automatic application-specific optimizations under FPGA memory abstractions
by: Yang, Hsin-Jung
Published: (2017)

Automatic Construction of Hoare Proofs from Abstract Interpretation Results
by: Seo, S, et al.
Published: (2003)

Automatic heap layout manipulation for exploitation
by: Heelan, S, et al.
Published: (2018)

An Abstract Model of a Research Institute: Simple Automatic Programming Approach
by: Briabrin, Victor
Published: (2023)

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
by: Srivas, Mandayam K.
Published: (2023)

Symbol IC-Evaluation as an Aid to Program Synthesis
by: Yonezawa, Akinori
Published: (2008)

Evaluation and selection of areal symbols for zoning maps/
by: 253329 Chambers, Shawn Farrel
Published: (1984)

Active learning of abstract system models from traces using model checking
by: Yogananda Jeppu, N, et al.
Published: (2022)

Lifting CDCL to template-based abstract domains for program verification
by: Mukherjee, R, et al.
Published: (2017)

Automatic trajectory generation for free-form pocket machining in skull base surgery
by: Lo, Charles Vui Hong.
Published: (2008)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1979)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1954)

PAGA: graph abstraction reconciles clustering with trajectory inference through a topology preserving map of single cells
by: Wolf, FA, et al.
Published: (2019)