Skip to content
Home
Collections
High Impact Articles
Jawi Collection
Malay Medicine
Forensic
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Counterexample Generation for...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Permanent link
Counterexample Generation for Formal Verification of ABS
Bibliographic Details
Main Author:
Rollshausen, Nils
Format:
Others
Language:
en
Published:
2021
Online Access:
https://tuprints.ulb.tu-darmstadt.de/17856/1/CEG%20for%20ABS.pdf
Rollshausen, Nils <http://tuprints.ulb.tu-darmstadt.de/view/person/Rollshausen=3ANils=3A=3A.html> (2021): Counterexample Generation for Formal Verification of ABS. (Publisher's Version)Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00017856 <https://doi.org/10.26083/tuprints-00017856>, [Bachelor Thesis]
Holdings
Description
Similar Items
Staff View
Similar Items
Explanation of Counterexamples in the Context of Formal Verification
by: Ek, Alexander
Published: (2016)
Hill's theorem of formal groups : applications, generalizations and counterexamples
by: Hofmann, Natalie
Published: (1993)
Generating Counterexamples for Model Checking by Transformation
by: G. W. Hamilton
Published: (2016-07-01)
Kesten's Yaglom limit counterexample
by: Kousha, Termeh
Published: (2013)
Understanding Counterexamples to Lubin's Conjecture
by: Heald, Andrea
Published: (2007)
Dialectica Interpretation with Marked Counterexamples
by: Trifon Trifonov
Published: (2011-01-01)
Gettier’s Counterexamples and the Analysis of Knowledge
by: Zvonimir Culjak
Published: (2003-12-01)
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata
by: Hao Ren, et al.
Published: (2017-06-01)
A counterexample to the Nelson-Seiberg theorem
by: Zheng Sun, et al.
Published: (2020-10-01)
Smooth Counterexamples to Frame Bundle Freeness
by: Scot Adams
Published: (2019-11-01)
Communication, Goals, and Counterexamples in Syllogistic Reasoning
by: Francisco Vargas, et al.
Published: (2020-04-01)
Understanding Counterexamples for Relational Properties with DIbugger
by: Mihai Herda, et al.
Published: (2019-07-01)
On the Structure of Counterexamples to the Coloring Conjecture of Hajós
by: Zickfeld, Florian
Published: (2005)
A counterexample to the Drury permanent conjecture
by: Hutchinson George
Published: (2017-11-01)
A counterexample to a conjecture of Serre
by: Anick, David Jay
Published: (2007)
A numerical study of Witsenhausen's Counterexample
by: Romvary, Jordan (Jordan Joseph)
Published: (2015)
Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
by: Yang Liu, et al.
Published: (2021-08-01)
Comments on McGee's counterexample to modus ponens
by: Djordjevic, Vladan
Published: (2007)
On Iwase's Construction of a Counterexample to Ganea's Conjecture
by: Toupin, Curtis
Published: (2017)
The role of counterexamples in a first course in calculus /
by: Anderson, Osiefield
Published: (1970)
Exact computation for existence of a knot counterexample
by: K. Marinelli, et al.
Published: (2019-04-01)
Attempts at vacuum counterexamples to cosmic censorship in AdS
by: Toby Crisford, et al.
Published: (2019-02-01)
Counterexample of theorems on star versions of Hurewicz property
by: Manoj Bhardwaj
Published: (2020-04-01)
A counterexample to an endpoint bilinear Strichartz inequality
by: Terence Tao
Published: (2006-12-01)
Counterexample-Preserving Reduction for Symbolic Model Checking
by: Wanwei Liu, et al.
Published: (2014-01-01)
Some counterexamples and properties on generalizations of Lindelöf spaces
by: Filippo Cammaroto, et al.
Published: (1996-01-01)
Polyconvexity and counterexamples to regularity in the multidimensional calculus of variations
by: Bevan, Jonathan
Published: (2003)
Comments on McGee's counterexample to modus ponens
by: Djordjevic, Vladan
Published: (2007)
Comments on McGee's counterexample to modus ponens
by: Djordjevic, Vladan
Published: (2007)
Counterexample-Guided Safety Contracts for Autonomous Driving
by: DeCastro, Jonathan, et al.
Published: (2020)
Slopey quantizers are locally optimal for Witsenhausen's counterexample
by: Ajorlou, Amir, et al.
Published: (2017)
A Counterexample in the Theory of Fourier Transforms in the Complex Domain
by: Delaney, William Kenneth
Published: (1975)
Formal Specification Generation by Applying Error Trace Analysis for Semi-Formal Verification
by: Ming-Hwang Sun, et al.
Published: (2003)
COUNTEREXAMPLE IN COGNITIVE CONFLICT AS FACTOR INFLUENCING CONCEPTUAL CHANGE
by: Sutopo Sutopo
Published: (2014-08-01)
A Counterexample on a Theorem by Khojasteh, Goodarzi, and Razani
by: Kečkić DragoljubJ, et al.
Published: (2010-01-01)
Counterexamples of Lefschetz hyperplane type results for movable cones
by: Li Zhan
Published: (2016-07-01)
A Counterexample on a Theorem by Khojasteh, Goodarzi, and Razani
by: Ivan D. Arandelovi&#263;, et al.
Published: (2010-01-01)
A Counterexample to "An Extension of Gregus Fixed Point Theorem"
by: Moradi Sirous
Published: (2011-01-01)
A Few Examples and Counterexamples in Spectral Graph Theory
by: Stevanović Dragan, et al.
Published: (2020-05-01)
Geometry of Ricci-flat Kähler manifolds and some counterexamples
by: Božin, Vladimir, 1973-
Published: (2006)
Similar Items
Explanation of Counterexamples in the Context of Formal Verification
by: Ek, Alexander
Published: (2016)
Hill's theorem of formal groups : applications, generalizations and counterexamples
by: Hofmann, Natalie
Published: (1993)
Generating Counterexamples for Model Checking by Transformation
by: G. W. Hamilton
Published: (2016-07-01)
Kesten's Yaglom limit counterexample
by: Kousha, Termeh
Published: (2013)
Understanding Counterexamples to Lubin's Conjecture
by: Heald, Andrea
Published: (2007)
Loading...
