CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020
1. Verfasser:	Riesco, Adrián (VerfasserIn)
Weitere Verfasser:	Ogata, Kazuhiro (VerfasserIn)
Pages:	2020
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
The Complexity of Boolean State Separation	2020	Tredup, Ronny
Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm	2020	Erofeev, Evgeny
Compositionality of Safe Communication in Systems of Team Automata	2020	Beek, Maurice H. ter
Implementation Correctness for Replicated Data Types, Categorically	2020	Gadducci, Fabio
Statistical Analysis of Non-deterministic Fork-Join Processes	2020	Genitrini, Antoine
On Two Characterizations of Feature Models	2020	Damiani, Ferruccio
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms	2020	Safari, Mohsen
Analysis of Bayesian Networks via Prob-Solvable Loops	2020	Bartocci, Ezio
Implementing Hybrid Semantics: From Functional to Imperative	2020	Goncharov, Sergey
Semantics of a Relational Calculus	2020	Barenbaum, Pablo
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages	2020	Vaandrager, Frits
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages	2020	Mandrioli, Dino
Qsimulation V2.0: An Optimized Quantum Simulator	2020	Wu, Hua
A Flight Rule Checker for the LADEE Lunar Spacecraft	2020	Kurklu, Elif
Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading	2020	Gengelbach, Arve
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications	2020	Riesco, Adrián